Gabriel, Karsten, Fraunhofer Instituted FOKUS, Germany
-
Volume 40: Petri Nets and Graph Transformations 2010 - Articles
Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.