Improvements in unfolding of colored Petri nets

DOI10.1007/978-3-030-89716-1_5OpenAlexW3210783414MaRDI QIDQ2695488

Yanyan Li

Publication date: 31 March 2023

Full work available at URL: https://arxiv.org/abs/2204.07039

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

Methods for Efficient Unfolding of Colored Petri Nets ⋮ Non-interference assessment in colored net systems via integer linear programming

Uses Software

• TAPAAL
• TINA
• SNOOPY
• MARCIE
• ITS-Tools

Cites Work

• Unnamed Item
• Coloured Petri nets and the invariant-method
• 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: Improvements in unfolding of colored Petri nets