create_marked_PN {petrinetR} | R 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
[Package
petrinetR version 0.3.0
Index]