제어로봇시스템학회:학술대회논문집
- 1994.10a
- /
- 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)
- Published : 1994.10.01
Abstract
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.
Keywords