For the most recent entries see the
Petri Nets Newsletter.
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design.
Peña, Marco A.:
Structural Methods to Improve the Symbolic Analysis of Petri Nets.
Structural methods for the synthesis of speed-independent circuits.
Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets.
Petri Net Analysis Using Boolean Manipulation.
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