Optimized Colored Nets Unfolding

DOI10.1007/11888116_25zbMath1225.68126OpenAlexW1586947210MaRDI QIDQ3613080

Alban Linard, Fabrice Kordon, Emmanuel Paviot-Adet

Publication date: 11 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11888116_25

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Exploiting colored Petri nets to decide on permutation admissibility

Cites Work

• Unnamed Item
• Unnamed Item
• Myths about the mutual exclusion problem
• Coloured Petri nets and the invariant-method
• Automatic Symmetry Detection in Well-Formed Nets
• Graph-Based Algorithms for Boolean Function Manipulation

This page was built for publication: Optimized Colored Nets Unfolding