A mapping of autonomous net condition event systems to GSPNs

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 modelling 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.