Process nets with channels (original) (raw)
Related papers
On Liveness and a Class of Generalized Petri Nets
IEEE 2017 8th Annual Industrial Automation and Electromechanical Engineering Conference (IEMECON), Bangkok, Thailand, 2017
A Reduced Reachability Tree for a Class of Unbounded Petri Nets
The Possibilities of Modeling Petri Nets and Their Extensions
Computer Simulation [Working Title], 2019
Linear time analysis of properties of conflict-free and general Petri nets
Luigi Laura, Paola Alimonti, Umberto Nanni
Theoretical Computer Science, 2011
Linear time algorithms for liveness and boundedness in conflict-free Petri nets
LATIN'92, 1992
An Effective Algorithm to Find Elementary Siphons in a Class of Petri Nets
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2000
On Liveness and Reversibility of Equal-Conflict Petri Nets
Fundamenta Informaticae, 2016
Symbolic analysis of bounded Petri nets
IEEE Transactions on Computers, 2001
Deadlock and liveness characterization for a class of generalized Petri nets
Information Sciences, 2017
Deadlock analysis of Petri nets using siphons and mathematical programming
A survey of siphons in Petri nets
Information Sciences, 2015
A Structure Causality Relation for Liveness Characterisation in Petri Nets
Journal of Universal Computer Science - J.UCS, 2005
A polynomial-time graph algorithm to decide liveness of some basic classes of bounded Petri nets
Lecture Notes in Computer Science, 1992
On the Reversibility of Live Equal-Conflict Petri Nets
Lecture Notes in Computer Science, 2015
ω-Petri Nets: Algorithms and Complexity
Fundamenta Informaticae
A Technique for Reachability Graph Generation for the Petri Net Models of Parallel Processes
Executability of scenarios in Petri nets
Theoretical Computer Science, 2009
A Review of Petri Net Modeling of Dynamical Systems
2012
Siphons and Traps Structural Analysis Techniques Behaviour of a Petri Nets
In Proc. of World Symposium On Computer Networks and Information Security (pp. 186-193).,, 0
Normal and sinkless petri nets
Journal of Computer and System Sciences, 1993
Investigating Reversibility of Steps in Petri Nets
Fundamenta Informaticae, 2022
A combination of Petri nets and process network synthesis
2004
On the Equivalence between Liveness and Deadlock Freeness in Petri Nets
2003
A Case Study in Design and Validation of Reactive Systems by Means of Petri Nets
1996
Reachability analysis for a class of Petri nets
Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs
IEEE Transactions on Control Systems and Technology, 2018
Deadlock analysis and control based on Petri nets: A siphon approach review
Advances in Mechanical Engineering, 2017
Some subclasses of Petri nets and the analysis of their structural properties: a new approach
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 1999
A Method of Analysis of Operational Petri Nets
Advanced Computer Systems, 2002