Skip to main content
Log in

Observable liveness of Petri nets with controllable and observable transitions

  • Highlight
  • Published:
Science China Information Sciences Aims and scope Submit manuscript

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MATH  Google Scholar 

  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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

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

Authors and 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

Check for updates. 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

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s11432-016-0241-y

Navigation