For the most recent entries see the
Petri Nets Newsletter.
Pastor, E.
-
Carmona, Josep;
Cortadella, Jordi;
Pastor, Enric:
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design.
2002.
-
Pastor, Enric;
Cortadella, Jordi;
Peña, Marco A.:
Structural Methods to Improve the Symbolic Analysis of Petri Nets.
1999.
-
Pastor, E.;
Cortadella, J.;
Kondratyev, A.;
Roig, O.:
Structural methods for the synthesis of speed-independent circuits.
1998.
-
Roig, O.;
Cortadella, J.;
Pastor, E.:
Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets.
1995.
-
Pastor, E.;
Roig, O.;
Cortadella, J.;
Badia, R.M.:
Petri Net Analysis Using Boolean Manipulation.
1994.
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