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


bupaverse/petrinetR documentation built on April 23, 2023, 10:41 p.m.