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

Return to Article Details Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations Download Download PDF