For the most recent entries see the
Petri Nets Newsletter.
Keyword: concurrent systems
-
Mikolajczak, Boleslaw;
Sefranek, Charles:
Integrating Object-Oriented Design with Petri Nets - Case Study of ATM System.
2003.
-
Suraj, Zbigniew;
Pancerz, Krzysztof:
A Synthesis of Concurrent Systems: A Rough Set Approach.
2003.
-
Anisimov, N. A.;
Golenkov, E. A.;
Kharitonov, D. I.:
Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems.
2001.
-
Qiu, Qinru;
Wu, Qing;
Pedram, Massoud:
Dynamic power management of complex systems using generalized stochastic Petri nets.
2000.
-
Amer-Yahia, C.;
Zerhouni, N.:
Structure theory of choice-free Petri nets based on eigenvalues.
1999.
-
So, B.;
Lew, A.:
Automatic code generation for simulating information systems.
1999.
-
Cortadella, J.;
Kishinevsky, M.;
Lavagno, L.;
Yakovlev, A.:
Deriving Petri nets from finite transition systems.
1998.
-
Hiraishi, K.:
Efficient analysis of concurrent systems by Petri nets.
1998.
-
Juan, E.Y.T.;
Tsai, J.J.P.;
Murata, Tadao:
Compositional verification of concurrent systems using Petri net based condensation rules.
1998.
-
Lee, E.A.;
Sangiovanni-Vincentelli, A.:
A framework for comparing models of computation.
1998.
-
Mazzeo, A.;
Mazzocca, N.;
Russo, S.;
Savy, C.;
Vittorini, V.:
Formal specification of concurrent systems: a structured approach.
1998.
-
Suraj, Zbigniew:
The Synthesis Problem of Concurrent Systems Specified by Dynamic Information Systems.
1998.
-
Tarasyuk, I.V.:
Equivalence notions applied to designing concurrent systems with the use of Petri nets.
1998.
-
Virbitskaite, I.B.;
Pokozy, E.A.:
Parametric behavior analysis for time Petri nets.
1997.
-
Vernadat, François;
Michel, François:
Covering Step Graph Preserving Failure Semantics.
1997.
-
Matsumoto, T.;
Yamazaki, S.:
Necessary and sufficient condition of structural liveness for general Petri net with globally structural live minimal deadlocks.
1996.
-
Uchihira, N.;
Honiden, S.:
A high-level Petri net for accurate modeling of reactive and concurrent systems.
1996.
-
Yakovlev, A.;
Kishinevsky, M.;
Kondratyev, A.;
Lavagno, L.;
Pietkiewicz-Koutny, M.:
On the Models for Asynchronous Circuit Behaviour with OR Causality.
1996.
-
Vernadat, François;
Azéma, Pierre;
Michel, François:
Covering Step Graph.
1996.
-
Chao, D.Y.;
Wang, D.T.:
XPN-FMS - a CAD tool for FMS modeling, analysis, animation, and simulation using Petri nets and X-Windows.
1995.
-
Cohen, G.:
Concurrent system to resolve real-time conflicts in multirobot systems.
1995.
-
Hirashi, K.;
Nakano, M.:
On symbolic model checking in Petri nets.
1995.
-
Hulgaard, H.;
Burns, S.M.;
Amon, T.;
Borriello, G.:
An algorithm for exact bounds on the time separation of events in concurrent systems.
1995.
-
Yakovlev, A.;
Koelmans, A.;
Lavagno, L.:
High level modelling and design of asynchronous interface logic.
1995.
-
Hiraishi, K.:
Reduced state space generation of concurrent systems using weak persistence.
1994.
-
Wu, J.;
Fernandez, E.B.:
Using Petri nets for the design of conversation boundaries in fault-tolerant systems.
1994.
-
Janicki, R.;
Koutny, M.:
Invariants and Paradigms of Concurrency Theory.
1991.
-
Vogler, W.:
Generalized OM-bisimulation.
1991.
-
Degli Antoni, Gianni:
Communicating Petri Nets.
1991.
-
Janicki, Ryszard;
Koutny, Maciej:
Generalised Invariant Semantics of Concurrent Systems.
1990.
-
Best, E.:
Technical Annex for the ESPRIT Basic Research Action 3148: Design Methods Based On Nets (DEMON).
1990.
-
Rosenblum, L.Ya.;
Yakovlev, A.V.;
Yakovlev, V.B.:
A look at concurrency semantics through `lattice glasses'.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography