Improvements in unfolding of colored Petri nets

DOI10.1007/978-3-030-89716-1_5MaRDI QIDQ2695488zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• scientific article; zbMATH DE number 877807 (Why is no real title available?)
• Automatic Symmetry Detection in Well-Formed Nets
• Coloured Petri Nets
• Coloured Petri nets and the invariant-method
• Modular modelling of software product lines with feature nets
• TAPAAL 2.0: integrated development environment for timed-arc Petri nets
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets

Cited in

(2)

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

Describes a project that uses

Uses Software

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

This page was built for publication: Improvements in unfolding of colored Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2695488)