References
Giua A, DiCesare F. Blocking and controllability of Petri nets in supervisory control. IEEE Trans Autom Contr, 1994, 39: 818–823
Ramadge P J, Wonham W M. The control of discrete event systems. Proc IEEE, 1989, 77: 81–98
Xue L, Hao Y. Autonomy-subnet based structural synthesis and liveness guarantying policy of Petri net model of flexible manufacturing system. Sci China Ser-F: Inf Sci, 2004, 47: 273–286
Desel J, Kilinç G. Observable liveness of Petri nets. Acta Inform, 2015, 52: 153–174
Li Z W, Zhao M. On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE Trans Syst Man Cybern–Part A, 2008, 38: 369–384
Liu G J, Jiang C J. Behavioral equivalence of securityoriented interactive systems. IEICE Trans Inf Syst, 2016, E99-D: 2061–2068
Liu G J, Jiang C J. Secure bisimulation for interactive systems. In: Wang G, Zomaya A, Perez G M, et al., eds. Algorithms and Architectures for Parallel Processing. Lecture Notes in Computer Science. Cham: Springer, 2015. 625–639
Milner R. Communication and Concurrency. Upper Saddle River: Printice Hall, 1989
Roscoe A W. Understanding Concurrent Systems. London: Springer, 2010
Reisig W. Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies. Berlin Heidelberg: Springer-Verlag, 2013
Acknowledgments
This paper was supported by National Nature Science Foundation of China (Grant No. 61572360), and in part by Shanghai Shuguang Program.
Author information
Authors and Affiliations
Corresponding author
Additional information
The authors declare that they have no conflict of interest.
Rights and permissions
About this article
Cite this article
Liu, G., Jiang, C. Observable liveness of Petri nets with controllable and observable transitions. Sci. China Inf. Sci. 60, 118102 (2017). https://doi.org/10.1007/s11432-016-0241-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11432-016-0241-y