Extending Timed Net Condition/Event Systems with hybrid petri nets

Abstract

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… (More)

5 Figures and Tables

Topics

  • Presentations referencing similar topics