Affiliation:
1. Graduate School of Science and Engineering, Yamaguchi University
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Applied Mathematics,Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Signal Processing
Reference7 articles.
1. [1] J. Wang, Timed Petri Nets: Theory and Application, Kluwer Academic Publishers, ISBN: 0-7923-8270-6, 1998.
2. [2] T. Murata, “Petri nets: Properties, analysis and application,” Proc. IEEE, vol.77, no.4, pp.541-580, 1989.
3. [3] R.H. Sloan and U. Buy, “Reduction rules for time Petri nets,” Acta Informatica, vol.3, pp.687-706, 1996.
4. [4] W.M.P van der Aalst and T. Basten, “Inheritance of workflow nets: An approach to tackling problems related to change,” Theor. Comput. Sci., vol.270, no.1-2, pp.125-203, 2002.
5. [5] W. Fokkink, J. Pang, and A. Wijs, “Is timed branching bisimilarity a congruence indeed?,” Fundamenta Informaticae, vol.87, no.3-4, pp.287-311, 2008.