Showing results 1 to 1 of 1
STATE CHARACTERIZATION BY MAXIMAL SET OF CONCURRENTLY FIRABLE ACTIONS IN PETRI NET BASED MODELS. Chung Won Ho; Lee, Kwang-Hyung; Park, Kyu Ho; Kim Myunghwan, Proceedings - TENCON 87: 1987 IEEE Region 10 Conference, Computers and Communications Technology Toward 2000, pp.472 - 476, Institute of Electronics Engineers of Korea, 1987-01 |
Discover