Analysis of signal/event nets

Net condition/event systems (NCES) have been defined to provide a modular modelling framework for discrete event systems. NCES are based on the interconnection of modules whose dynamic behavior is modeled by means of Petri nets. The interconnection is performed by signals only. The resulting system is no longer an ordinary, classical Petri net. Hence, if we want to analyse those systems by means of methods for Petri nets, we have to generalize the formalisms of Petri nets. We call those extended nets signal/event nets. In this paper, signal/events nets are defined and their position in the hierarchy of computational models is shown. Although the main problems are undecidable, analysis of signal/event nets is not impossible.