For the most recent entries see the
Petri Nets Newsletter.
Keyword: invariant
-
Zaitsev, D.A.:
Verification of telecommunication protocols using decomposition of Petri nets.
2005.
-
Zaitsev, D.A.:
Decomposition of protocol ECMA.
2004.
-
Zaitsev, D. A.:
Invariance of TCP protocol Petri net model.
2004.
-
Zaitsev, D.A.:
On question of calculation complexity of Toudic's method.
2004.
-
Zaitsev, D.A.:
Theoretical grounding of Toudic's method.
2004.
-
Zaitsev, D. A.:
Verification of Ethernet protocols.
2004.
-
Zaitsev, Dmitry A.:
Verification of protocol TCP via decomposition of Petri net model 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, D.A.:
Invariants of functional subnets.
2003.
-
Zaitsev, Dmitry A.:
Formal Grounding of Toudic Method.
2003.
-
Petrucci, Laure:
Techniques d'Analyse des Réseaux de Petri Algébraiques.
1991.
-
Janicki, Ryszard;
Koutny, Maciej:
A Bottom-Top Approach to Concurrency Theory. Part I: Observations, Invariants and Paradigms.
1990.
-
Anishev, P.A.:
A Matrix Algorithm of Search for Contours in a Directed Graph.
1987.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography