Affiliation:
1. Graduate School of Engineering, Hiroshima 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
Reference12 articles.
1. [1] T. Ishii, S. Taoka, and T. Watanabe, “Improving firing sequence search for marking construction problem of Petri nets,” IEICE Technical Report CST2007-10, June 2007 (in Japanese).
2. Submarking reachability of marked graphs
3. [3] E.W. Mayr, “An algorithm for the general Petri net reachability problem,” Proc. 13th Annual ACM Symposium on Theory of Computing, pp.238-246, 1981, See also SIAM J. Comput., vol.13, pp.441-460, 1984 (with the same title by the author).
4. Petri nets: Properties, analysis and applications
5. [5] J.L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, N.J., 1981.