Hartmut Ehrig;Magdalena Gajewsk;Uwe Wolter
-;-;-
The »Petri Net Baukasten«: An Overview
Unifying Petri Nets, Advances in Petri Nets
Formal software engineering for computational modelling
Nordic Journal of Computing