For the most recent entries see the
Petri Nets Newsletter.
Keyword: petri nets.
-
Jorgensen, Jens Bæk;
Lassen, Kristian Bisgaard:
Requirements Engineering for the Adviser Portal Bank System.
2006.
-
Yen, Hus-Chun;
Yu, Lien-Po:
Decidability analysis of self-stabilization for Infinite- State Systems.
2006.
-
Mahulea, C.;
Recalde, L.;
Silva, M.:
Optimal Observability for Continuous Petri Nets.
2005.
-
Mahulea, C.;
Recalde, L.;
Silva, M.:
Optimal Observability for Continuous Petri Nets.
2005.
-
Dotoli, Mariagrazia;
Fanti, Maria Pia:
An urban traffic network model via coloured timed Petri nets.
2004.
-
Philippi, Stephan:
Formally based modeling and inheritance of behaviour in object-oriented systems.
2004.
-
Wedde, Horst F.;
Lischka, Mario:
Cooperative role-based administration.
2003.
-
Philippi, Stephan:
Analysis of fault tolerance and reliability in distributed real-time system architectures.
2003.
-
Jancar, Petr:
Nonprimitive recursive complexity and undecidability for Petri net equivalences.
2001.
-
Philippi, Stephan:
Visual Programming of Concurrent Object-Oriented Systems.
2001.
-
Bahri, Parisa A.;
Gu, Tianlong;
Lee, Peter:
Petri-net Based Modelling and Scheduling of Batch Processing Plants - a Heuristic Algorithm.
2000.
-
Wirtz, G.;
Graf, J.;
Giese, H.:
Ruling the Behaviour of Distributed Software Components.
1997.
-
Chiola, G.;
Dutheillet, C.;
Franceschinis, G.;
Haddad, S.:
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications.
1993.
-
Miroslav, Havram;
Gasevic, Dragan;
Damjanovic, Violeta:
Petri Net Web Service.
28-33.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography