For the most recent entries see the
Petri Nets Newsletter.
Keyword: decomposition
-
Zaitsev, D.A.:
Software for decomposition of bipartite directed graphs.
2005.
-
Zaitsev, D.A.:
Solving linear systems using decomposition.
2005.
-
Zaitsev, D.A.:
Verification of telecommunication protocols using decomposition of Petri nets.
2005.
-
Zaitsev, D.A.:
Verification of Protocol BGP via Decomposition of Petri Net Model into Functional Subnets.
2005.
-
Zaitsev, Dmitry A.:
Decomposition of Petri Nets.
2004.
-
Zaitsev, D.A.:
Decomposition of protocol ECMA.
2004.
-
Zaitsev, D.A.:
Speed-up of solution of linear systems with the aid of decomposition into clans.
2004.
-
Zaitsev, Dmitry A.:
Verification of protocol TCP via decomposition of Petri net model into functional subnets.
2004.
-
Zaitsev, D.A.:
Solving the fundamental equation of Petri net using the decomposition into functional subnets.
2004.
-
Zaitsev, D.A.:
Verification of Protocol ECMA with Decomposition of Petri Net Model.
2004.
-
Zaitsev, D.A.:
Decomposition-based Calculation of Petri net Invariants.
2004.
-
Zaitsev, Dmitry A.:
Subnets with Input and Output Places.
2003.
-
Kemper, Peter:
Numerical Analysis of Superposed GSPNs.
1995.
-
Tilgner, Marco;
Silva, Manuel:
Approximate Performance Analysis on Petri Net based models of Manufacturing Systems.
1994.
-
Finkel, A.;
Petrucci, L.:
Avoiding State Explosion by Composition of Minimal Covering Graphs.
1991.
-
Paech, Barbara:
Concurrency as a Modality.
1991.
-
Petrucci, Laure:
Techniques d'Analyse des Réseaux de Petri Algébraiques.
1991.
-
Ferrari, Gian Luigi:
Unifying Models of Concurrency.
1990.
-
Islam, S.M.R.;
Ammar, H.H.:
On Bounds for Token Probabilities in a Class of Generalized Stochastic Petri Nets.
1990.
-
Ram, R.;
Viswanadham, N.:
Performance Evaluation of Cellular Flexible Manufacturing Systems: a Decomposition Approach.
1990.
-
Avakyan, V.V.;
Yuditskii, S.A.:
Description and Analysis of Parallel Logic Control Algorithms Using Operation Graphs.
1990.
-
Finkel, Alain;
Petrucci, Laure:
Propriétés de la composition/décomposition de résaux de Petri et de leurs graphes de couverture.
1990.
-
Desel, Jörg:
On Abstractions of Nets.
1990.
-
Anton, M. Duque;
Bretschneider, M.:
Formulas, Processes, and Petri Nets Applied to the Specification and Verification of a HDLC Protocol.
1989.
-
Dimitrovici, Cristian;
Hummert, Udo:
Kategorielle Konstruktionen für algebraische Petrinetze.
1989.
-
Mamikonov, A.G.;
Kulba, V.V.:
Synthesis of Optimal Modular Systems in Data Processing.
1986.
-
Janicki, Ryszard:
On Concurrency Relations and Systems.
1982.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography