Petri Net-based Descriptions for Discrete-Continuous Systems
at - Automatisierungstechnik. Bd. 48. H. 9. de Gruyter 2000 S. 415 - 425
Erscheinungsjahr: 2000
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Inhaltszusammenfassung
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.
Autoren
Mohamed, Chouikha (Autor)
Decknatel, Gebhard (Autor)
Drath, Rainer (Autor)
Frey, Georg (Autor)
Müller, Christian (Autor)
Thieme, Jan (Autor)
Wolter, Kirk (Autor)
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Informatik
