대한전기학회:학술대회논문집 (Proceedings of the KIEE Conference)
- 대한전기학회 1988년도 추계학술대회 논문집 학회본부
- /
- 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)
- 발행 : 1988.11.25
초록
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.
키워드