Cited By
View all- Bashkin VLomazova I(2005)Similarity of generalized resources in petri netsProceedings of the 8th international conference on Parallel Computing Technologies10.1007/11535294_3(27-41)Online publication date: 5-Sep-2005
Petri nets and resource bisimulation
Pages 101 - 114
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.
References
[1]
C. Autant and Ph. Schnoebelen. Place bisimulations in Petri nets. In Proc. 13th Int. Conf. Application and Theory of Petri Nets, Sheffield, UK, 1992, volume 616 of Lecture Notes in Computer Science, pages 45-61. Springer, 1992.
[2]
V. A. Bashkin and I. A. Lomazova. Reduction of Coloured Petri nets based on resource bisimulation. Joint Bulletin of NCC & IIS (Comp. Science), Vol. 13, pages 12-17. Novosibirsk, Russia, 2000.
[3]
B. Farwer and I. Lomazova. A systematic approach towards object-based Petri net formalisms. In Proc. Int. Andrey Ershov memorial Conf. Perspectives of System Informatics, PSI 2001, volume 2244 of Lecture Notes in Computer Science, pages 255-267. Springer, 2002.
[4]
Hirshfeld Y. Congruences in commutative semigroups Research report ECS-LFCS-94-291, Department of Computer Science, University of Edinburgh, 1994.
[5]
P. Jançar. Decidability questions for bisimilarity of Petri nets and some related problems In Proc. STACS'94, volume 775 of Lecture Notes in Computer Science, pages 581-592. Springer, 1993.
[6]
I. A. Lomazova. Nested Petri nets -- a Formalism for Specification and Verification of Multi-Agent Distributed Systems. Fundamenta Informaticae, 43(1-4); 195-214, 2000.
[7]
I. A. Lomazova. Nested Petri nets: multi level and recursive systems. Fundamenta Informaticae, 47(3-4); 283-293, 2001.
[8]
I. A. Lomazova. Object-oriented Petri nets: formal semantics and analisys. System Informatics, Vol. 8. Novosibirsk, 2002. (To be published, in Russian).
[9]
R. Milner. A Calculus of Communicating Systems. Lecture Notes in Computer Science, Vol. 92. Springer, 1980.
[10]
Redei L. The theory of finitely generated commutative semigroups. Oxford University Press, New York, 1965.
[11]
Ph. Shnoebelen and N. Sidorova. Bisimulation and the reduction of Petri nets. In Proc. 21st Int. Conf. Application and Theory of Petri Nets, Aarhus, Denmark, 2000, volume 1825 of Lecture Notes in Computer Science, pages 409-423. Springer, 2000.
[12]
N. Sidorova. Petri Nets transformations. PhD theses, Yaroslavl State University, Yaroslavl, Russia, 1998. In Russian.
[13]
E. Smith Principles of high-level net theory. Lectures on Petri nets. In Lectures on Petri nets I: Basic models. Advances in Petri nets, volume 1491 of Lecture Notes in Computer Science, pages 174-210. Springer, 1998.
Index Terms
- Petri nets and resource bisimulation
Index terms have been assigned to the content through auto-classification.
Recommendations
Petri nets and resource bisimulation
Concurrency specification and programmingResources 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 ...
Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets
Concurrency Specification and Programming Workshop (CS&P'2001)Nested Petri nets (NP-nets) is a Petri net extension, allowing tokens in a net marking to be represented by marked nets themselves. The paper discusses applicability of NP-nets for modeling task planning systems, multi-agent systems and recursive-...
Modeling dynamic objects in distributed systems with nested Petri nets
Nested Petri nets (NP-nets) is a Petri net extension, allowing tokens in a net marking to be represented by marked nets themselves. The paper discusses applicability of NP-nets for modeling task planning systems, multi-agent systems and recursive-...
Comments
Information & Contributors
Information
Published In
Publisher
IOS Press
Netherlands
Publication History
Published: 01 April 2003
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 03 Sep 2024
Other Metrics
Citations
Cited By
View all- Bashkin VLomazova I(2005)Similarity of generalized resources in petri netsProceedings of the 8th international conference on Parallel Computing Technologies10.1007/11535294_3(27-41)Online publication date: 5-Sep-2005
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in