For the most recent entries see the
Petri Nets Newsletter.
Hierarchical Structure of 1-Safe Petri Nets.
Models and Logics for True Concurrency.
A Logic for Distributed Transition Systems.
A Modal Logic for a Subclass of Event Structures.
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