parse

<p>A sequence of transitions, stored in a vector.</p>

trace

<p>Parses a sequence of transitions. If possible returns the Petri Net with the updated marking. Otherwise returns FALSE</p>

Functions for the construction of Petri Nets. Petri Nets can be replayed by firing enabled transitions.
Silent transitions will be hidden by the execution handler. Also includes functionalities for the visualization of Petri Nets and
export of Petri Nets to PNML (Petri Net Markup Language) files.

Gert Janssenswillen

parse: Parse

Description

Usage

Arguments