For the most recent entries see the
Petri Nets Newsletter.
Keyword: boundedness
-
Xia, Chuanliang:
Analysis of Properties of Petri Synthesis Net.
2006.
-
Zeng, Qing-Tian;
Wu, Zhe-Hui:
Properties Analysis of Petri Net Based on Process Net System.
2003.
-
Passino, K.M.;
Burgess, K.L.;
Michel, A.N.:
Lagrange stability and boundedness of discrete-event systems.
1995.
-
Desel, Jörg;
Esparza, Javier:
Reachability in Reversible Free Choice Systems.
1991.
-
Dimitrovici, Cristian;
Hummert, Udo;
Petrucci, Laure:
Semantics, Composition and Net Properties of Algebraic High-Level Nets.
1991.
-
Popova, Louchka:
On Time Petri Nets.
1991.
-
Zhou, MengChu;
DiCesare, Frank:
Parallel and Sequential Mutual Exclusions for Petri Net Modeling of Manufacturing Systems with Shared Resources.
1991.
-
Esparza, Javier;
Silva, Manuel:
Handles in Petri Nets.
1991.
-
Chen, Yigang;
Tsai, W.T.:
An Algebraic Approach to Petri Net Reduction and its Application to Protocol Analysis.
1990.
-
Findlow, Greg;
Billington, Jonathan:
High-Level Nets for Dynamic Dining Philosophers Systems.
1990.
-
Koh, I.;
DiCesare, Frank:
Transformation Methods for Generalized Petri Nets and their Applications to Flexible Manufacturing Systems.
1990.
-
Tsuji, Kohkichi;
Matsumoto, Tadashi:
Extended Petri Net Models for Neural Networks and Fuzzy Inference Engines --- Their Net Structural Properties.
1990.
-
Zhou, MengChu;
DiCesare, Frank:
A Petri Net Design Method for Automated Manufacturing Systems with Shared Resources.
1990.
-
Zhou, MengChu;
DiCesare, Frank:
Modeling Buffers in Automated Manufacturing Systems Using Petri Nets.
1990.
-
Howell, Rodney R.;
Jancar, Petr;
Rosier, Louis E.:
Single-Path Petri Nets.
1990.
-
Campos, Javier;
Chiola, Giovanni;
Colom, José Maria;
Silva, Manuel:
Properties and Performance Bounds for Timed Marked Graphs.
1990.
-
Desel, Jörg;
Esparza, Javier:
Reachability in Reversible Free Choice Systems.
1990.
-
Esparza, Javier:
Structure Theory of Free Choice Petri Nets.
1990.
-
Souissi, Y.:
A Modular Approach for the Validation of Communication Protocols Using FIFO Nets.
1990.
-
Esparza, Javier;
Silva, Manuel:
Compositional Synthesis of Live and Bounded Free Choice Nets.
1990.
-
Laserre, Jean B.;
Mahey, Philippe:
Using Linear Programming in Petri Net Analysis.
1989.
-
Wang, Fei Yue;
Saridis, G.N.:
A Model for Coordination of Intelligent Machines Using Petri Nets.
1989.
-
Finkel, A.:
A Minimal Coverability Graph for Petri Nets.
1989.
-
Favrel, Joel;
Wu, Hanjie;
Lee, Kwang Hyung:
Reduction Method of Coloured Petri nets.
1988.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography