For the most recent entries see the
Petri Nets Newsletter.
Keyword: tools
-
Christensen, S.;
Kristensen, L.M.:
State Space Analysis of Hierarchical Coloured Petri Nets.
2003.
-
Jørgensen, J. B.;
Kristensen, L. M.:
Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes.
2003.
-
Christensen, Søren;
Kristensen, Lars Michael:
State Space Analysis of Hierarchical Coloured Petri Nets.
1997.
-
Jørgensen, Jens Bæk;
Kristensen, Lars Michael:
Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes.
1997.
-
Cortadella, J.;
Kishinevsky, M.;
Kondratyev, A.;
Lavagno, L.;
Yakovlev, A.:
Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers.
1997.
-
Yakovlev, A.;
Koelmans, A.M.;
Semenov, A.;
Kinniment, D.J.:
Modelling, Analysis and Synthesis of Asynchronous Control Circuits Using Petri Nets.
1996.
-
Yakovlev, A.;
Lavagno, L.;
Sangiovanni-Vincentelli, A.:
A unified signal transition graph model for asynchronous control circuit synthesis.
1996.
-
Feldbrugge, Frits:
Petri Net Tools Overview 1992.
1992.
-
Antilla, M.;
Eriksson, H.;
Ikonen, J.;
Kujansuu, R.;
Ojala, L.;
Tuominen, H.:
Tools and Studies of Formal Techniques --- Petri Nets and Temporal Logic.
1983.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography