SCIENCE CHINA Information Sciences, Volume 60 , Issue 11 : 118102(2017) https://doi.org/10.1007/s11432-016-0241-y

Observable liveness of Petri nets with controllable and observable transitions

More info
  • ReceivedAug 8, 2016
  • AcceptedDec 6, 2016
  • PublishedMar 21, 2017


There is no abstract available for this article.


This paper was supported by National Nature Science Foundation of China (Grant No. 61572360), and in part by Shanghai Shuguang Program.


[1] Giua A, DiCesare F. Blocking and controllability of Petri nets in supervisory control. IEEE Trans Automat Contr, 1994, 39: 818-823 CrossRef Google Scholar

[2] Ramadge P J G, Wonham W M. The control of discrete event systems. Proc IEEE, 1989, 77: 81-98 CrossRef Google Scholar

[3] Xue L. Autonomy-subnet based structural synthesis and liveness guarantying policy of Petri net model of flexible manufacturing system. Sci China Ser F, 2004, 47: 273-286 CrossRef Google Scholar

[4] Desel J, K?l?n? G. Observable liveness of Petri nets. Acta Informatica, 2015, 52: 153-174 CrossRef Google Scholar

[5] Zhiwu Li , Mi Zhao . On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE Trans Syst Man Cybern A, 2008, 38: 369-384 CrossRef Google Scholar

[6] Liu G, Jiang C. Behavioral Equivalence of Security-Oriented Interactive Systems. IEICE Trans Inf Syst, 2016, E99.D: 2061-2068 CrossRef ADS Google Scholar

[7] 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. Google Scholar

[8] Milner R. Communication and Concurrency. Upper Saddle River: Printice Hall, 1989. Google Scholar

[9] Roscoe A W. Understanding Concurrent Systems. London: Springer, 2010. Google Scholar

[10] Reisig W. Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies. Berlin Heidelberg: Springer-Verlag, 2013. Google Scholar