Methods for Efficient Unfolding of Colored Petri Nets

DOI10.3233/fi-222162OpenAlexW4387975952MaRDI QIDQ6070614

No author found.

Publication date: 23 November 2023

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-222162

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Coloured Petri nets and the invariant-method
• Improvements in unfolding of colored Petri nets
• TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets
• Modular Modelling of Software Product Lines with Feature Nets
• Automatic Symmetry Detection in Well-Formed Nets
• Coloured Petri Nets
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets

This page was built for publication: Methods for Efficient Unfolding of Colored Petri Nets