Showing results 2 to 3 of 3
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 |
THE LANGUAGE-BASED PETRI NET EXPRESSIONS AND ITS DERIVATION RULES CHUNG, WON HO; YOON, SANG YOUN; Lee, Kwang-Hyung; Park, Kyu Ho; KIM, MYUNGHWAN, International Symposium on Electronics Engineering, pp.186 - 191, 1985 |
Discover