For the most recent entries see the
Petri Nets Newsletter.
An Extension of SDL for the Executable Specification of Communication Systems Based Upon Petri Nets.
The Reachability of Complementary-Places Petri Nets.
Of the Liveness of Extended Marked Graphs.
A Functional Verification for Design Modification of Industrial Sequence Control Systems.
Analysis of Switching Sequences in Power Networks by 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