Petri nets and resource bisimulation

Authors:
Vladimir A. Bashkin;Irina A. Lomazova
Affiliations:
Yaroslavl State University, Yaroslavl, 152000, Russia;Artificial Intelligence Research Center, Program Systems Institute of Russian Academy of Science, Pereslavl-Zalessky, 152140, Russia
Venue:
Fundamenta Informaticae - Concurrency specification and programming
Year:
2002

Citing 8
Cited 1

Nested petri nets - a formalism for specification and verification of multi-agent distributed systems

Fundamenta Informaticae - Special issue on Concurrency specification and programming (CS&P)
A Calculus of Communicating Systems

A Calculus of Communicating Systems
Decidability Questions for Bismilarity of Petri Nets and Some Related Problems

STACS '94 Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science
A Systematic Approach towards Object-Based Petri Net Formalisms

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Principles of High-Level Net Theory

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Place Bisimulations in Petri Nets

Proceedings of the 13th International Conference on Application and Theory of Petri Nets
Bisimulation and the reduction of Petri nets

ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Nested Petri Nets: Multi-level and Recursive Systems

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)

Similarity of generalized resources in petri nets

PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies

Quantified Score

Hi-index	0.00

Visualization

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.