Includes supplementary material: sn.pub/extras
Javier Esparza
Multimedia Petri nets System algorithms automata colored petri nets distributed computing distributed programming flow charts model checking petri net programming stochastic petri nets timed petri nets verification