Resource Equivalences in Petri Nets

Conference paper

DOI: 10.1007/978-3-319-57861-3_3

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10258)
Cite this paper as:
Lomazova I.A. (2017) Resource Equivalences in Petri Nets. In: van der Aalst W., Best E. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2017. Lecture Notes in Computer Science, vol 10258. Springer, Cham


Tokens in Petri net models may represent a control flow state, or resources produced/consumed by transition firings. From the resource perspective a part of a Petri net marking can be considered as a store needed for ensuring some future system behavior. The talk is devoted to the study of several types of resource equivalence in Petri nets. A resource is defined as a part (submultiset) of a Petri net marking and two resources are called equivalent iff replacing one of them by another in any reachable marking does not change the observable Petri net behavior. We investigate decidability of resource equivalences, present an algorithm for computing its finite approximation, and discuss applicability of resource equivalences to state space reduction and adaptive system processing.

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.National Research University Higher School of EconomicsMoscowRussia

Personalised recommendations