Studying multi-operational production systems with modular hybrid petri nets

G.J. Tsinarakis, K.P. Valavanis, N.C. Tsourveloudis
Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453)  
Modular hybrid timed Petri Nets are used to model and analyze behavior of random topology multioperational production systems. Each such system is decomposed into 3 fundamental modules, followed by derivation of their corresponding modular HPN models. The overall system model is obtained via synthesis of the individual modules, satisfying system constraints (routes, production rates, machine expected up-down-or idle-time and priorities). For any topology multi-operational production system,
more » ... duction system, overall HTPN model nodes are calculated, followed by derivation of model invariants. Results show applicability of the proposed methodology and justify its modeling power and generality.
doi:10.1109/iros.2003.1249332 dblp:conf/iros/TsinarakisVT03 fatcat:m5qkmq3nwffzhh3ify5h7xeumm