Improvements in unfolding of colored Petri nets

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

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

• TAPAAL 2.0: integrated development environment for timed-arc Petri nets
• Coloured Petri nets and the invariant-method
• Coloured Petri Nets
• Modular modelling of software product lines with feature nets
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
• Title not available (Why is that?)
• Automatic Symmetry Detection in Well-Formed Nets

Cited In (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

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)