Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
暂无分享,去创建一个
[1] Yufeng Chen,et al. Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems , 2011, Autom..
[2] Jörg Desel,et al. Free choice Petri nets , 1995 .
[3] Wil M. P. van der Aalst,et al. The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..
[4] MengChu Zhou,et al. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems , 2004, IEEE Trans. Syst. Man Cybern. Part A.
[5] Alan J. Hoffman,et al. Integral Boundary Points of Convex Polyhedra , 2010, 50 Years of Integer Programming.
[6] Alessandro Giua,et al. Verification of initial-state opacity in Petri nets , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).
[7] MengChu Zhou,et al. Control of Elementary and Dependent Siphons in Petri Nets and Their Application , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[8] Alessandro Giua,et al. Synchronizing sequences on a class of unbounded systems using synchronized Petri nets , 2016, Discret. Event Dyn. Syst..
[9] Laure Petrucci,et al. Modular Analysis of Petri Nets , 2000, Comput. J..
[10] Alessandro Giua,et al. Verification of State-Based Opacity Using Petri Nets , 2017, IEEE Transactions on Automatic Control.
[11] Javier Martínez,et al. A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..
[12] Peep Küngas,et al. Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies , 2005, SARA.
[13] Spyros A. Reveliotis,et al. Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case , 2012, IEEE Transactions on Automatic Control.
[14] Svante Janson,et al. Random graphs , 2000, Wiley-Interscience series in discrete mathematics and optimization.
[15] Alessandro Giua,et al. Verification of current-state opacity using Petri nets , 2015, 2015 American Control Conference (ACC).
[16] Alessandro Giua,et al. Generalized mutual exclusion contraints on nets with uncontrollable transitions , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.
[17] Alessandro Giua,et al. A method to verify the controllability of language specifications in Petri nets based on basis marking analysis , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).
[18] Alessandro Giua,et al. On the Equivalence of Observation Structures for Petri Net Generators , 2016, IEEE Transactions on Automatic Control.
[19] Ichiro Suzuki,et al. A Method for Stepwise Refinement and Abstraction of Petri Nets , 1983, J. Comput. Syst. Sci..
[20] Alessandro Giua,et al. Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints , 2015, IEEE Trans. Autom. Control..
[21] Alessandro Giua,et al. Fault detection for discrete event systems using Petri nets with unobservable transitions , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
[22] Jordi Cortadella,et al. Structural Methods to Improve the Symbolic Analysis of Petri Nets , 1999, ICATPN.
[23] Roberto Cordone,et al. Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models , 2013, Autom..
[24] Antti Valmari,et al. Stubborn sets for reduced state space generation , 1991, Applications and Theory of Petri Nets.
[25] Spyros A. Reveliotis,et al. Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks , 2014, Discrete Event Dynamic Systems.
[26] Ernst W. Mayr. Persistence of vector replacement systems is decidable , 2004, Acta Informatica.
[27] Christoforos N. Hadjicostis,et al. Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications , 2008, 2008 47th IEEE Conference on Decision and Control.
[28] L. Dickson. Finiteness of the Odd Perfect and Primitive Abundant Numbers with n Distinct Prime Factors , 1913 .
[29] Toshiyuki Miyamoto,et al. Modular Reachability Analysis of Petri Nets for Multiagent Systems , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[30] Alessandro Giua,et al. Marking estimation of Petri nets with silent transitions , 2004 .
[31] Béla Bollobás,et al. Random Graphs , 1985 .
[32] Alessandro Giua,et al. Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems , 2011 .