A methodology is presented for constructing models of manufacturing processes for simulation and discrete controller design. The models represent the discrete event evolution of the system as well as features of the underlying continuous processes. The structure of the discrete-level control is modeled with modified Petri nets which are synthesized from single resource activity cycles. Construction of the net constitutes a design of the discrete control logic with guaranteed properties based on extensions of previous results in Petri net theory. The model includes error recovery loops and other real-time decision structures.
|Original language||English (US)|
|Number of pages||2|
|Journal||Proceedings - Annual Allerton Conference on Communication, Control, and Computing|
|State||Published - 1985|
ASJC Scopus subject areas