Parses a sequence of transitions. If possible returns the Petri Net with the updated marking. Otherwise returns FALSE
A Petri Net
A sequence of transitions, stored in a vector.
Want to suggest features or report bugs for rdrr.io? Use the GitHub issue tracker.
Questions? Problems? Suggestions? Tweet to @rdrrHQian@mutexlabs.com.
All documentation is copyright its authors; we didn't write any of that.