For the most recent entries see the
Petri Nets Newsletter.
Keyword: functional subnet
-
Zaitsev, D. A.:
Compositional analysis of Petri nets.
2006.
-
Zaitsev, D.A.:
Software for decomposition of bipartite directed graphs.
2005.
-
Zaitsev, D.A.:
Solving the fundamental equation of Petri net in the process of composition of functional subnet.
2005.
-
Zaitsev, D.A.:
Verification of telecommunication protocols using decomposition of Petri nets.
2005.
-
Zaitsev, D.A.:
Functional 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.:
Invariance of TCP protocol Petri net model.
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.:
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, D.A.:
Invariants of functional subnets.
2003.
-
Zaitsev, D.A.:
Stepwise composition of functional subnets.
33-40.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography