create_marked_PN: Create marked Petri Net

View source: R/create_marked_PN.R

create_marked_PNR Documentation

Create marked Petri Net

Description

Function to create a marked_petrinet, consisting of a petrinet, an initial marking, and a final marking.

Usage

create_marked_PN(PN, initial_marking, final_marking)

Arguments

PN

petrinet: Object of class petrinet.

initial_marking

character: A vector with place ids representing the initial marking.

final_marking

character: A vector with place ids representing the final marking.

Value

A marked_petrinet


petrinetR documentation built on April 3, 2023, 5:21 p.m.