제어로봇시스템학회:학술대회논문집
- 제어로봇시스템학회 1994년도 Proceedings of the Korea Automatic Control Conference, 9th (KACC) ; Taejeon, Korea; 17-20 Oct. 1994
- /
- Pages.690-695
- /
- 1994
Reduced marking in Petri nets analysis
- Chang, Scokho (Dept. of Electronic Eng., Kangwon National Univ.) ;
- Kim, Nak-Kyoung (Dept, of Control and Instrumentation Eng. Kangwon Natl Univ) ;
- Nam, Boo-Hee (Dept, of Control and Instrumentation Eng. Kangwon Natl Univ)
- 발행 : 1994.10.01
초록
We propose a method to reduce the marking expression about the places when we model a discrete-event system using the Petri net. The net with reduced marking expression has the same dynamic behavior as the original model. The number of the places can be reduced by the number of the resource places of the Petri net, and consequently the net can be significantly simplified, still preserving the dynamic properties of the net.
키워드