Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations

Tony Modica, Karsten Gabriel, Kathrin Hoffmann. Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations. ECEASST, 40, 2010. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.