Similarity of generalized resources in Petri nets

3Citations
Citations of this article
3Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Generalized resources are defined as multisets of Petri net vertices. Here places represent material resources (designated by tokens residing in these places). Transitions correspond to activity resources represented by transition firings. Two generalized resources are called similar if in any Petri net marking one resource can be replaced by another without changing the observable system's behaviour (modulo bisimulation). In this paper we study some basic properties of generalized resource similarity and prove that, being undecidable, generalized resource similarity is finitely based, and thus can be finitely described. We show also, that similarity of generalized resources allows to express some substantial properties of systems modelled by Petri nets. © Springer-Verlag Berlin Heidelberg 2005.

Cite

CITATION STYLE

APA

Bashkin, V. A., & Lomazova, I. A. (2005). Similarity of generalized resources in Petri nets. In Lecture Notes in Computer Science (Vol. 3606, pp. 27–41). Springer Verlag. https://doi.org/10.1007/11535294_3

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free