For the most recent entries see the
Petri Nets Newsletter.
Keyword: analysis
-
Xia, Chuanliang:
Analysis of Properties of Petri Synthesis Net.
2006.
-
Lehmann, Kolja;
Moldt, Daniel:
Modelling and Analysis of Agent Protocols with Petri Nets.
2004.
-
Jiao, Li;
Cheunga, To-Yat;
Lu, Weiming:
On liveness and boundedness of asymmetric choice nets.
2004.
-
Yu, Huiqun;
He, Xudong;
Deng, Yi;
Mo, Lian:
Formal Analysis of Real-Time Systems with SAM.
2002.
-
Chérif, Amer-Yahia;
Noureddine, Zerhouni:
State quation and Stability for a Class of Continuous Petri Nets. Application to the Control of a Production Systems.
2001.
-
Czaja, Ludwik;
Kudlek, Manfred:
Omega-Process languages for place/transition nets.
2001.
-
Lindner, G.;
Heiner, M.;
Kobienia, T.:
Deadlock Detection in a Distributed Implementation of a Visualization System for Medical Measurement Signals.
1996.
-
Belli, F.;
Dreyer, J.:
Systems Specification, Analysis, and Validation by means of Timed Predicate/Transition Nets and Logic Programming.
1995.
-
Chao, Daniel Y.;
Wang, David T.:
An interactive tool for design, simulation, verification, and synthesis of protocols.
1994.
-
Alvarez, C.;
Balcazar, J.L.;
Gabarro, J.:
Parallel Complexity in the Design and Analysis of Concurrent Systems.
1991.
-
Esparza, Javier;
Silva, Manuel:
On the Analysis and Synthesis of Free Choice Systems.
1991.
-
Garg, V.K.;
Ramamoorthy, C.V.:
ConC: a Language for Concurrent Programming.
1991.
-
Irmscher, Klaus:
Modell- und Experimentbeschreibung zur Analyse stochastischer Prozesse in Kommunikationssystemen.
1991.
-
Jensen, Kurt:
Coloured Petri Nets: A High Level Language for System Design and Analysis.
1991.
-
Johnen, Colette;
Mourlin, Fabrice:
Analysis of the Communication Structure of Occam2 Programs Using Petri Nets.
1991.
-
Juanole, G.:
Models for Qualitative and/or Quantitative Analysis of Real Time Communication Architectures.
1991.
-
Olej, Vladimír;
Chmúrny, Ján;
Mokris, Igor:
Analysis of Parallel Discrete Systems by Discrete Stochastic and Fuzzy Petri Nets.
1991.
-
Seiche, W.;
Abel, D.;
Rake, H.:
Analysis and Synthesis of Discrete-Event Distributed Systems Using Petri Nets.
1991.
-
Ochsenschläger, Peter:
Die Produktnetzmaschine.
1991.
-
Valmari, Antti:
Stubborn Sets of Coloured Petri Nets.
1991.
-
Richter, G.;
Heuser, C.A.:
Spezifikation und Analyse von Informationssystemen.
1991.
-
Ochsenschläger, Peter:
Die Produktnetzmaschine: Eine Übersicht.
1991.
-
Petrucci, Laure:
Techniques d'Analyse des Réseaux de Petri Algébraiques.
1991.
-
Sugasawa, Y.;
Jin, Qun;
Zhang, Jian-Ting;
Seya, K.:
Modelling and Analysis of a Semaphore System by an Extended Stochastic Petri Net.
1991.
-
Dong, Ik Lee;
Kumagai, Sadatoshi;
Kodama, Shinzo:
Reachability of LSFC Nets.
1990.
-
Fahmy, Hossam Mahmoud Ahmad:
A Tabular Method for the Analysis of Large Petri Nets.
1990.
-
Kochikar, V.P.;
Narendran, T.T.:
Coloured Petri Net Modelling and Analysis of Flexible Manufacturing Systems.
1990.
-
Perdu, D.M.;
Levis, A.H.:
Analysis and Evaluation of Decision Aids in Organizations.
1990.
-
Starke, Peter H.:
Analyse von Petri-Netz-Modellen.
1990.
-
Zerhouni, N.;
Alla, H.:
Dynamic Analysis of Manufacturing Systems using Continuous Petri Nets.
1990.
-
Jensen, Kurt:
Coloured Petri Nets: A High Level Language for System Design and Analysis.
1990.
-
Wippich, K.:
Modellierung und Analyse benutzergeführter Geräte mit Hilfe von strukturinterpretierenden Petri-Netzen.
1990.
-
Esparza, Javier:
Structure Theory of Free Choice Petri Nets.
1990.
-
van der Hoeven, A.J.;
de Lange, A.A.J.;
Deprettere, E.F.;
Dewilde, P.M.:
Hifi: an Environment for the High Level Description and Analysis of VLSI Networks.
1989.
-
Kodama, S.:
Analysis of Petri Nets.
1989.
-
Billington, J.;
Wilbur-Ham, M.C.:
PROTEAN: A High-Level Petri Net Tool.
1987.
-
Mamikonov, A.G.;
Kulba, V.V.:
Synthesis of Optimal Modular Systems in Data Processing.
1986.
-
Degli Antoni, G.;
Zonta, B.:
Analysis of Laws by Means of Petri Nets: Motivation and Methodology.
1982.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography