MC_GD_RD_GF_CM_CS_JT_atA_sep_2000

Chouikha, M.; Decknatel, G.; Drath, R.; Frey, G.; Müller, C.; Simon, C.; Thieme, J.; Wolter, K.:
Petri Net-Based Descriptions for Discrete-Continuous Systems..
at-Automatisierungstechnik - Special Issue: Hybrid Systems I: Modeling and Control, 48(2000)9, R. Oldenbourg Verlag, pp. 415-425, Sept. 2000.

In this contribution different approaches are introduced for the description of discrete-continuous (hybrid) systems. The approaches were formulated by different research groups within the program KONDISK supported by the German Research Council DFG. The objectives of the research program are modelling, analysis, verification and synthesis of hybrid systems. The single contributions have thereby a common foundation, they are based on Petri nets.