• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Book chapter

Towards a Translation from Nested Petri Nets into Colored Petri Nets

P. 55-63.

Nested Petri nets (NP-nets) are Petri nets with net tokens - an extension of high-level Petri nets for modeling active objects, mobility and dynamics in distributed systems. In this paper we present an algorithm for translating two-level NP-nets into behaviorally equivalent Colored Petri nets with the view of applying CPN methods and tools for nested Petri nets analysis. We prove, that the proposed translation preserves dynamic semantics in terms of bisimulation equivalence.

In book

Towards a Translation from Nested Petri Nets into Colored Petri Nets
Edited by: V. Nepomniaschy, V. Sokolov. Nizhny Novgorod: Nizhny Novgorod State University, 2012.