Abstract
Resources are defined as submultisets of Petri net markings. Two resources are called similar if replacing of one by another doesn’t change the net’s behavior. Two resources are called similar under a certain condition if one of them can be replaced by another without changing an observable behavior provided that a comprehending marking contains also some additional resources. The paper studies conditional similarity of Petri net resources, for which the (unconditional) similarity is a special case. It is proved that the resource similarity is a semilinear relation and can be represented as a finite union of linear combinations over a finite set of base conditional resource similarities. The algorithm for computing a finite approximation for conditional resource similarity relation is also presented.
This research was partly supported by the Presidium of the Russian Academy of Science, program "Intellectual computer systems", project 2.3 – "Instrumental software for dynamic intellectual systems" and INTAS-RFBR (Grant 01-01-04003).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Autant, C., Schnoebelen, P.: Place Bisimulations in Petri Nets. In: Jensen, K. (ed.) ICATPN 1992. LNCS, vol. 616, pp. 45–61. Springer, Heidelberg (1992)
Bashkin, V.A., Lomazova, I.A.: Reduction of Coloured Petri Nets based on Resource Bisimulation. In: Joint Bulletin of NCC & IIS, Novosibirsk, Russia. Computer Science, vol. 13, pp. 12–17 (2000)
Bashkin, V.A., Lomazova, I.A.: Resource Bisimulations in Nested Petri Nets. In: Proc. of CS&P 2002, vol. 1, Informatik-Bericht Nr. 161, Humboldt-Universitat zu Berlin, Berlin, pp. 39–52 (2002)
Hirshfeld, Y.: Congruences in Commutative Semigroups. Research Report ECSLFCS- 94-291, Department of Computer Science, University of Edinburgh (1994)
Jančar, P.: Decidability Questions for Bisimilarity of Petri Nets and Some Related Problems. In: Enjalbert, P., Mayr, E.W., Wagner, K.W. (eds.) STACS 1994. LNCS, vol. 775, pp. 581–592. Springer, Heidelberg (1994)
Redei, L.: The Theory of Finitely Generated Commutative Semigroups. Oxford University Press, New York (1965)
Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)
Shnoebelen, P., Sidorova, N.: Bisimulation and the Reduction of Petri Rets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 409–423. Springer, Heidelberg (2000)
Sidorova, N.: Petri Nets transformations. PhD theses, Yaroslavl State University, Yaroslavl, Russia (1998) (in Russian)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bashkin, V.A., Lomazova, I.A. (2003). Resource Similarities in Petri Net Models of Distributed Systems. In: Malyshkin, V.E. (eds) Parallel Computing Technologies. PaCT 2003. Lecture Notes in Computer Science, vol 2763. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45145-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-45145-7_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40673-0
Online ISBN: 978-3-540-45145-7
eBook Packages: Springer Book Archive