Observable liveness of Petri nets with controllable and observable transitions

This is a preview of subscription content, access via your institution.

References

  1. 1

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

    MathSciNet  Article  MATH  Google Scholar 

  2. 2

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

    Article  MATH  Google Scholar 

  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

    MathSciNet  Article  MATH  Google Scholar 

  4. 4

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

    MathSciNet  Article  MATH  Google Scholar 

  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

    Article  Google Scholar 

  6. 6

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

    Article  Google Scholar 

  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

    Chapter  Google Scholar 

  8. 8

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

    Google Scholar 

  9. 9

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

    Google Scholar 

  10. 10

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

    Google Scholar 

Download references

Acknowledgments

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

Author information

Affiliations

Authors

Corresponding author

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). https://doi.org/10.1007/s11432-016-0241-y

Download citation