Proceedings of the KIEE Conference (대한전기학회:학술대회논문집)
- 1988.11a
- /
- Pages.450-454
- /
- 1988
Extended Petri Nets and Distributed Processor Systems Modeling
확장된 페트리 네트와 분산형 공정 제어의 모델링
- Lim, Sung-Ho (Dept. of Electrical Eng., Yonsei University) ;
- Kim, Hyun-Ki (Dept. of Electrical Eng., Yonsei University) ;
- Woo, Kwang-Bang (Dept. of Electrical Eng., Yonsei University)
- Published : 1988.11.25
Abstract
In order to represent and analyze distributed system design, the model based on an extended form of Petri nets, which enables one to represent both the structure and the behavior of a distributed system, is predented. Behavioral properties of the design representation are verified by translating the extended Petri net into an equivalent ordinary Petri net. The model emphasizes the unified representation of control flows, hierarchical structure, and distributed system state. Modeling technique isemployed for the performance and function analysis of flexible manufacturing system with a set of processors.
Keywords