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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
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
H.J. Genrich, K. Lautenbach, System modeling with high level Petri nets. Theor. Comput. Sci. 13(1), 109–136 (1981)
X. He, I.A.N. Lee, A methodology for constructing predicate transition net specifications. Softw. Pract. Exper. 21(8), 845–875 (1991)
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)
C. Kan, X. He, High level algebraic Petri nets. Inf. Softw. Technol. 37(l), 23–30 (1995)
C. Kan, X. He, A method for constructing algebraic Petri nets. J. Syst. Softw. 35(1), 12–27 (1996)
X. He, PZ nets – A formal method integrating Petri nets with Z. Inf. Softw. Technol. 43(l), 1–18 (2001)
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
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
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
J. Wang, X. He, Y. Deng, Introducing architectural specification and analysis in SAM through an example. Inf. Softw. Technol. 41, 451–467 (1999)
X. He, Y. Deng, A framework for developing and analyzing software architecture specifications in SAM. Comput. J. 45(l), 111–128 (2002)
I.T. Zhu, X. He, A methodology of testing high-level Petri nets. Inf. Softw. Technol. 44, 473–489 (2002)
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)
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)
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)
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)
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)
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)
X. He, A comprehensive survey of Petri net modeling in software engineering. Int. J. Softw. Eng. Knowl. Eng. IJSEKE 23(5), 589–626 (2013)
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
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
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)
G. Holzmann, The SPIN Model Checker (Addison-Wesley, Boston, 2004)
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)
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
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
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)