Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Observable liveness of Petri nets with controllable and observable transitions

This is a preview of subscription content, log in to check access.


  1. 1

    Giua A, DiCesare F. Blocking and controllability of Petri nets in supervisory control. IEEE Trans Autom Contr, 1994, 39: 818–823

  2. 2

    Ramadge P J, Wonham W M. The control of discrete event systems. Proc IEEE, 1989, 77: 81–98

  3. 3

    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

  4. 4

    Desel J, Kilinç G. Observable liveness of Petri nets. Acta Inform, 2015, 52: 153–174

  5. 5

    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

  6. 6

    Liu G J, Jiang C J. Behavioral equivalence of securityoriented interactive systems. IEICE Trans Inf Syst, 2016, E99-D: 2061–2068

  7. 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

  8. 8

    Milner R. Communication and Concurrency. Upper Saddle River: Printice Hall, 1989

  9. 9

    Roscoe A W. Understanding Concurrent Systems. London: Springer, 2010

  10. 10

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

Download references


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

Author information

Correspondence to Guanjun Liu.

Additional information

The authors declare that they have no conflict of interest.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Liu, G., Jiang, C. Observable liveness of Petri nets with controllable and observable transitions. Sci. China Inf. Sci. 60, 118102 (2017).

Download citation