Design and Implementation of Monitors and Troubleshooters: Petri Net and Calculus of Communicating Systems Approaches
碩士 === 國立交通大學 === 工業工程與管理研究所 === 86 === Petri net and calculus of communicating systems (CCS) are proposed as mathematical tools for designing monitors and troubleshooters on shop floor. For the Petri net aproach, its rule matrix is transformed into a standard representative matrix in matroid theo...
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Others |
Language: | zh-TW |
Published: |
1998
|
Online Access: | http://ndltd.ncl.edu.tw/handle/62704355927836053903 |