Extending Timed Net Condition/Event Systems with hybrid petri nets

This paper proposes extensions to an existing formalism used in discrete modeling of systems. The formalism is a Petri net based formalism called timed net condition/event system (TNCES). The goal of the extensions is to allow the modeling of hybrid systems that contain both discrete and continuous elements. The extended model is applied in modeling and analysis in the domain of factory automation. This demonstrates the validation of industrial systems composed of discrete logic controller(s) and a plant or a controlled object, which is typically hybrid in nature.