For the most recent entries see the
Petri Nets Newsletter.
Supervisory Control of Time Petri Nets Using Net Unfolding.
Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets.
Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems.
Modeling and analysis of a virtual reality system with time Petri nets.
Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada.
Using State Space Methods for Deadlock Analysis in Ada Tasking.
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