create_marked_PN {petrinetR}

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