parse_trace: Parse

View source: R/parse_trace.R

parse_traceR Documentation

Parse

Description

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

Usage

parse_trace(PN, trace)

Arguments

PN

A Petri Net

trace

A sequence of transitions, stored in a vector.


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