並列摘要
This paper proposes a method component-based Petri net (CBPN) to model the workflow of a workcell, which is usually a basic unit of a flexible manufacturing system (FMS). An efficient design method for workcells is the key factor to implement the FMSs. CBPN is a systematic method based on analyzing the functional requirements and behavior specifications. CBPN contains two sub-models: requirement model and composition model, and integrates the top-down hierarchical decomposition to refine requirements and components and bottom-up composition to combine sub-modules. In this paper, the CBPN was illustrated by an example of a workcell. The conservativeness of component-based systems can be verified by matrix analysis model of Petri net, e.g. the P-invariant and T-invariant, which corresponding to the component properties.
參考文獻
延伸閱讀
- Huang, J. Y., & Deng, L. Y. (2000). The Petri Net Model for the Collaborative Virtual Environment on the Web. 淡江理工學刊, 3(4), 267-281. https://doi.org/10.6180/jase.2000.3.4.06
- 陳雅玲（2013）。UML modeling analysis tool : an automated activity-diagram to Petri-Net conversion system〔碩士論文，淡江大學〕。華藝線上圖書館。https://doi.org/10.6846/TKU.2013.00793
- 鄭淑如（2010）。The Research of Applying Petri Net to Establish Pre-Processing Model in Data Warehouse〔碩士論文，國立臺灣師範大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0021-1610201315200639
- Liu, D., Yao, S. W., Zeng, Y., Zhao, K., Guo, Y. A., & Li, L. (2021). Research of the Service Composition Optimization Model Based on Petri Net. 電腦學刊, 32(5), 101-114. https://doi.org/10.53106/199115992021103205008
- 康伯臣（2005）。A Colored Petri Net-based Modeling Platform for Composing Web Services〔碩士論文，中原大學〕。華藝線上圖書館。https://doi.org/10.6840/cycu200500436