Alain Finkel;Gérard Memmi
-;-
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets