Jean Fanchon
-
Trace Channel Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets