Validation of an agent based system using Petri Nets
Abstract
Reference
Recommendations
A survey of siphons in Petri nets
Petri nets have gained increasing usage and acceptance as a basic model of asynchronous concurrent systems since 1962. As a class of structural objects of Petri nets, siphons play a critical role in the analysis and control of systems modeled with Petri ...
Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets
This paper develops a novel deadlock prevention policy for a class of generalised Petri nets, namely S4PR that can well model flexible manufacturing systems FMS. The analysis of generalised Petri nets leads us to characterise deadlock situations in ...
Some considerations on higher-order Petri nets
Concurrency specification and programmingThis paper introduces higher-order Petri nets based on multiset rewriting. Some variations of the firing rule for high-level Petri nets following the nets-within-nets paradigm, i.e. allowing Petri nets as tokens, are discussed. All considerations keep ...
Comments
Information & Contributors
Information
Published In
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Article
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 231Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in