MIN-Fakultät Fachbereich Informatik Bibliothek
Farwer, Berndt
Towards Linear Logic Petri Nets - From P/T-Nets to Object Systems