Skip to main content
SpringerLink
Log in
SpringerLink
Log in

A Personal Journey in Petri Net Research

  • Chapter
  • First Online:
Carl Adam Petri: Ideas, Personality, Impact

Abstract

The author describes how he first learned about Petri Nets in graduate school, and then taught them himself at university in graduate-level courses on advanced software engineering, software specification, and software verification.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 49.99
Price excludes VAT (USA)
  • Durable hardcover 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. W. Reisig, Petri nets in software engineering, in Petri Nets: Applications and Relationships to Other Models of Concurrency, ed. by W. Brauer, W. Reisig, G. Rozenberg. LNCS, vol. 255 (Springer, Berlin, 1986), pp. 63–96

    Google Scholar 

  2. H.J. Genrich, K. Lautenbach, System modeling with high level Petri nets. Theor. Comput. Sci. 13(1), 109–136 (1981)

    Article  Google Scholar 

  3. X. He, I.A.N. Lee, A methodology for constructing predicate transition net specifications. Softw. Pract. Exper. 21(8), 845–875 (1991)

    Article  Google Scholar 

  4. X. He, J.A.N. Lee, Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems. Form. Asp. Comput. 2(3), 226–246 (1990)

    Article  Google Scholar 

  5. C. Kan, X. He, High level algebraic Petri nets. Inf. Softw. Technol. 37(l), 23–30 (1995)

    Article  Google Scholar 

  6. C. Kan, X. He, A method for constructing algebraic Petri nets. J. Syst. Softw. 35(1), 12–27 (1996)

    Article  Google Scholar 

  7. X. He, PZ nets – A formal method integrating Petri nets with Z. Inf. Softw. Technol. 43(l), 1–18 (2001)

    Article  Google Scholar 

  8. X. He, A Formal Definition of Hierarchical Predicate Transition Nets. Proceeding of the 17th International Conference on Application and Theory of Petri Nets (ICATPN’96). Lecture Notes in Computer Science, vol. 1091 (Springer, Berlin, 1996), pp. 212–229

    Chapter  Google Scholar 

  9. X. He, Formalizing use case diagrams in hierarchical predicate transition nets, in Proceeding of the IFIP 16th World Computer Congress, Beijing, China, August (2000), pp. 484–491

    Google Scholar 

  10. X. He, Y. Ding, Object orientation in hierarchical predicate transition nets, in Concurrent, Object-Oriented Programming and Petri Nets, ed. by G.A. Agha, F. De Cindio, G. Rozenberg. Lecture Notes in Computer Science, vol. 2001 (Springer, Berlin, 2001), pp. 196–215

    Chapter  Google Scholar 

  11. J. Wang, X. He, Y. Deng, Introducing architectural specification and analysis in SAM through an example. Inf. Softw. Technol. 41, 451–467 (1999)

    Article  Google Scholar 

  12. X. He, Y. Deng, A framework for developing and analyzing software architecture specifications in SAM. Comput. J. 45(l), 111–128 (2002)

    Article  Google Scholar 

  13. I.T. Zhu, X. He, A methodology of testing high-level Petri nets. Inf. Softw. Technol. 44, 473–489 (2002)

    Article  Google Scholar 

  14. D. Xu, X. He, Y. Deng, Compositional schedulability analysis of real-time systems using time Petri nets. IEEE Trans. Softw. Eng. 28(10), 984–996 (2002)

    Article  Google Scholar 

  15. X. He, H. Yu, T. Shi, J. Ding, Y. Deng, Formally analyzing software architectural specifications using SAM. J. Syst. Softw. 71(1–2), 11–29 (2004)

    Article  Google Scholar 

  16. J. Ding, P. Clarke, D. Xu, X. He, Y. Deng, A formal model-based approach for developing an interoperable mobile agent system. Multi-Agent Grid Syst. Int. J. 2(4), 401–412 (2006)

    Article  Google Scholar 

  17. L. Lian, S. Shatz, X. Ile, Flexible coordinator design for modeling resource sharing in multi-agent systems. J. Syst. Softw. 82(10), 1709–1729 (2009)

    Article  Google Scholar 

  18. L. Chang, S. Shatz, X. He, A methodology for modeling multi-agent systems using nested Petri nets. Int. J. Softw. Eng. Knowl. Eng. IJSEKE 22(7), 891–926 (2012)

    Article  Google Scholar 

  19. L. Chang, X. He, A methodology to analyze multi-agent systems modeled in high level Petri nets. Int. J. Softw. Eng. Knowl. Eng. IJSEKE 25(7), 1199–1235 (2015)

    Article  Google Scholar 

  20. X. He, A comprehensive survey of Petri net modeling in software engineering. Int. J. Softw. Eng. Knowl. Eng. IJSEKE 23(5), 589–626 (2013)

    Article  Google Scholar 

  21. S. Liu, R. Zeng, X. He, PIPE+ – A modeling tool for high level Petri nets, in Proceeding of International Conference on Software Engineering and Knowledge Engineering (SEKE11), Miami (2011), pp. 115–121

    Google Scholar 

  22. S. Liu, R. Zeng, Z. Sun, X. He, Bounded model checking high level Petri nets in PIPE+ Verifier, in Proceeding of International Conference on Formal Engineering Methods (ICFEM 14), ed. by S. Merz, J. Pang. LNCS, vol. 8829 (Springer, Berlin, 2014), pp. 348–363

    Google Scholar 

  23. X. He, R. Zeng, S. Liu, Z. Sun, K. Bae, A term rewriting approach to analyze high level Petri nets, in Proceeding of the 10th Theoretical Aspects of Software Engineering Conference (TASE 16), IEEE, Los Alamitos (2016)

    Google Scholar 

  24. G. Holzmann, The SPIN Model Checker (Addison-Wesley, Boston, 2004)

    Google Scholar 

  25. M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, C. Talcott, All about Maude – A high-performance logical framework: how to specify, program and verify systems in rewriting logic (Springer, Berlin, 2007)

    MATH  Google Scholar 

  26. L. de Moura, N. Bjørner, Z3: an efficient SMT solver, in Proceeding of 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), ed. by R. Ramakrishnan, J. Rehof. Lecture Notes in Computer Science, vol. 4963 (Springer, Berlin, 2008), pp. 337–340

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing and Information Sciences, Florida International University, Miami, FL, USA

    Xudong He

Authors
  1. Xudong He
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Xudong He .

Editor information

Editors and Affiliations

  1. Institut für Informatik, Humboldt-Universität zu Berlin, Berlin, Germany

    Wolfgang Reisig

  2. Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

He, X. (2019). A Personal Journey in Petri Net Research. In: Reisig, W., Rozenberg, G. (eds) Carl Adam Petri: Ideas, Personality, Impact. Springer, Cham. https://doi.org/10.1007/978-3-319-96154-5_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-96154-5_15

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-96153-8

  • Online ISBN: 978-3-319-96154-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation