Petri Net based Models for Condition/Event Systems

In this paper we define a class of continuous-time discrete event dynamic systems (DEDS) with two types of discrete-valued input and output signals: condition signals and event signals called Condition/Event systems (C/E systems). We formally define C/E systems and models of C/E systems that are based on an extension of Petri nets (C/E PNs). We then introduce equivalent C/E PN models for C/E systems resulting from cascade and feedback interconnections via examples. The algorithms that compute these equivalent models can be found in reference [1] The paper concludes with directions for future research.