Anisimov, N.A.

• Anisimov, N. A.; Golenkov, E. A.; Kharitonov, D. I.:
  Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems. 2001.

• Anisimov, N.A; Kovalenko, A.A.; Postupalski, P.A.; Vuong, S.T.:
  Application of Compositional Petri Nets and PN3-Tool to the Specification of Distributed Multimedia Objects. 1999.

• Anisimov, Nikolay A.; Kishinski, Konstantin; Alec Miloslavski,:
  An Approach to Design Distributed CTI Applications using Petri Nets: an Example of a Call Center. 1998.

• Anisimov, N.A.; Kovalenko, A.A.; Tarasov, G.V.; Inzartsev, A.V.; Scherbatyuk, Ph.:
  A Graphical Environment for the AUV Mission Programming. 1997.

• Anisimov, N.A.; Kovalenko, A.A.; Postupalsky, P.A.; Vuong, S.T.:
  Application of Compositional Petri Nets in the Specification of Multimedia Objects. 1997.

• Anisimov, N.A.; Koutny, M.:
  Compositional Petri Nets in Protocol Engineering. 1997.

• Anisimov, N.A.; Koutny, M.:
  On compositionality and Petri nets in protocol engineering. 1996.

• Anisimov, N.A.; Kishinski, K.; Miloslavski, A.; Postupalski, P.A.:
  Macroplaces in High Level Petri Nets: Application for Design Inbound Call Center. 1996.

• Anisimov, N.A.; Kovalenko, A.A.; Postupalski, P.A.; Vuong, S.T.:
  A Compositional Approach to the Specification of Multimedia Objects Using Petri Nets. 1996.

• Anisimov, N.A.; Kovalenko, A.A.:
  Towards Petri Net Calculi based on Synchronization via Places. 1995.

• Anisimov, N.A.; Kovalenko, A.A.; Postupalski, P.A.:
  PN³-Editor: Compositional Petri Net Editor for Protocol Specification. 1995.

• Anisimov, N.A.; Kovalenko, A.A.; Postupalski, P.A.:
  Compositional Petri Net Environment. 1994.

• Anisimov, N.A.:
  A Petri Net Entity as a Formal Model for LOTOS - A Specification Language for Distributed and Concurrent Systems. 1991.

• Anisimov, N.A.:
  An Algebra of Regular Macronets for Formal Specification of Communication Protocols. 1991.

• Anisimov, N.A.:
  A Notion of Entity Based On Petri Nets. 1991.

• Anisimov, N.A.:
  Hierarchical Composition of Protocols. 1990.

• Anisimov, Nikolay A.:
  A Notion of Petri Net Entity for Communication Protocol Design. 1989.

• Anisimov, N.A.:
  Formal Model for Design and Description of Protocols Based on Petri Nets. 1988.

• Anisimov, N.A.:
  Algebra of Protocol Structures Based on the Theory of Petri Nets. 1987.

• Anisimov, N.A.:
  Recursive Definition of Protocols Based on Petri Net Theory. 1987.

• Anisimov, N.A.; Perchuk, V.L.:
  Representation of Exchange Protocols and Finite Sequential Machines Using Petri Nets. 1987.

• Anisimov, N.A.; Perchuk, V.L.:
  Representation of Exchange Protocols by Sequential Automata and Petri Nets. 1986.

• Anisimov, N.A.:
  Methods for Formal Description, Verification and Realization of Nets Protocols by an Application of the Theory of Nets. 1984.

Back to the Petri Nets Bibliography