2 Treffer
1
1. |
Model Checking Object Petri Nets in Maude and Prolog
Farwer, Berndt ; Leuschel, Michael |
2004 |
2. |
Towards Linear Logic Petri Nets - From P/T-Nets to Object Systems
Farwer, Berndt |
1998 |
1