PetriTUB
Contents:
Getting Started
Functions
Tutorials
Tutorial for the untimed Petri net toolbox
Tutorial for the max-plus toolbox
PetriTUB
Tutorials
View page source
Tutorials
Contents:
Tutorial for the untimed Petri net toolbox
Analysis of Petri nets
State based control
Tutorial for the max-plus toolbox
Max-plus matrix operations
Computing a trajectory
Precedence graphs
References