Petri nets and resource bisimulation

Issue title: Concurrency Specification and Programming (CS&P'2002), Part 2

Article type: Research Article

Authors: Bashkin, Vladimir A. | Lomazova, Irina A.

Affiliations: Yaroslavl State Univerity, Yaroslavl, 152000, Russia | Artificial Intelligence Research Center, Program Systems Institute of Russian Academy of Science, Pereslavl-Zalessky, 152140, Russia

Abstract: Resources are defined as submultisets of Petri net markings. Two resources are called similar if replacing one of them by another in any marking doesn't change the Petri net's behavior. We define the relations of resource similarity and resource bisimulation and show that they are finitely based. In this paper the resource bisimulation is studied for different classes of Petri nets: ordinary Petri nets, high-level Petri nets and nested Petri nets — Petri nets with Petri nets as tokens.

Keywords: Petri nets, resource similarity, bisimulation equivalence, high-level Petri nets, nested Petri nets

Journal: Fundamenta Informaticae, vol. 55, no. 2, pp. 101-114, 2003