For the most recent entries see the
Petri Nets Newsletter.
Lee, Nam Hee;
Cha, Sung Deok:
Generating test sequences using symbolic execution for event-driven real-time systems.
A slicing-based approach to enhance Petri net reachability analysis.
Towards reusable colored Petri nets.
Integration and analysis of use cases using modular Petri nets in requirements engineering.
Safety analysis using colored Petri nets.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography