Skip to main content
SpringerLink
Log in

Analysis of Structural Liveness and Boundedness in Weighted Free-Choice Net Based on Circuit Flow Values

  • Conference paper
  • First Online:
Intelligent Computing (SAI 2020)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 1230))

Included in the following conference series:

  • 602 Accesses

Abstract

A Petri net is a mathematical method that can be used to represent and analyze discrete event systems. Although research on structural liveness and safety in ordinary free-choice (FC) nets has been reported, analysis methods for weighted Petri nets have not yet been developed. In this study, we propose a method for determining the structural liveness and safety of strongly connected FC nets. The flow rate of tokens for strongly connected marked graphs is defined as the \(circuit\ flow\ value\). In addition, the circuit flow value of a strongly connected FC net is obtained by calculating the superposition of the circuit flow value.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Bouyekhf, R., El Moudni, A.: On the analysis of some structural properties of petri nets. IEEE Trans. Syst. Man Cybern. Part A Syst. Humans 35(6), 784–794 (2005)

    Article  Google Scholar 

  2. Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, New York (1995)

    Book  Google Scholar 

  3. Girault, C., Valk, R.: Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2001)

    MATH  Google Scholar 

  4. Harie, Y., Wasaki, K.: Stability subnet detection of petri net by circuit flow-matrix transformation. In: IEICE Technical Report, number 296 in CAS2018-64, MSS2018-40, pp. 37–42, Shizuoka, November 2018

    Google Scholar 

  5. Ji, G., Wang, M.: Analysis of structural properties of petri nets based on product incidence matrix. Kybernetika 49(4), 601–618 (2013)

    MathSciNet  MATH  Google Scholar 

  6. Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  7. James Lyle Peterson: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River (1981)

    Google Scholar 

  8. Reisig, W.: Petri nets: an introduction. EATCS Monographs on Theoretical Computer Science, vol. 4 Springer (1985)

    Google Scholar 

  9. Teruel, E., Chrzastowski-Wachtel, P., Colom, J.M., Silva, M.: On weighted t-systems. In: Jensen, K. (ed.) Application and Theory of Petri Nets 1992, pp. 348–367. Springer, Heidelberg (1992)

    Google Scholar 

  10. van der Aalst, W.M.P.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) Application and Theory of Petri Nets 1997, pp. 407–426. Springer, Heidelberg (1997)

    Google Scholar 

  11. van der Aalst, W.M.P., Basten, T.: Inheritance of workflows: an approach to tackling problems related to change. Theor. Comput. Sci. 270(1), 125–203 (2002)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Interdisciplinary Graduate School of Science and Technology, Shinshu University, 4-17-1 Wakasato, Nagano, 380-8553, Japan

    Yojiro Harie

  2. Division of Electrical and Computer Engineering, Faculty of Engineering, Shinshu University, 4-17-1 Wakasato, Nagano, 380-8553, Japan

    Katsumi Wasaki

Authors
  1. Yojiro Harie
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Katsumi Wasaki
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yojiro Harie .

Editor information

Editors and Affiliations

  1. Faculty of Science and Engineering, Saga University, Saga, Japan

    Kohei Arai

  2. The Science and Information (SAI) Organization, Bradford, West Yorkshire, UK

    Supriya Kapoor

  3. The Science and Information (SAI) Organization, Bradford, West Yorkshire, UK

    Rahul Bhatia

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Harie, Y., Wasaki, K. (2020). Analysis of Structural Liveness and Boundedness in Weighted Free-Choice Net Based on Circuit Flow Values. In: Arai, K., Kapoor, S., Bhatia, R. (eds) Intelligent Computing. SAI 2020. Advances in Intelligent Systems and Computing, vol 1230. Springer, Cham. https://doi.org/10.1007/978-3-030-52243-8_41

Download citation

Publish with us

Policies and ethics

Search

Navigation