In: Proc. 8th Int. Workshop on Petri Net and Performance Models (PNPM'99), 8-10 October 1999, Zaragoza, Spain, pages 136-145. 1999.
Abstract: The software design for automatic controller in manufacturing systems shows lower complexity than for other applications but has high requirements for correctness, robustness and performance. Net condition event systems (NCES) are a net-based modeling formalism recently developed for this task. In this paper we give an interpretation of autonomous NCES in terms of generalized stochastic Petri nets (GSPNs) such that the tangible reachability graph of a GSPN coincides with the reachability graph of a NCES. This gives the opportunity to employ GSPN techniques for functional and quantitative analysis of NCES models.
Keywords: automation systems, control systems, quantitative analysis, verification.