KIT | KIT-Bibliothek | Impressum

Konvertierung sicherer Petri-Netze in Statecharts

Schnabel, Mark; Nenninger, Gero; Krebs, Volker



Zugehörige Institution(en) am KIT Institut für Regelungs- und Steuerungssysteme (IRS)
Publikationstyp Zeitschriftenaufsatz
Jahr 1999
Sprache Deutsch
Identifikator KITopen ID: 75799
Erscheinungsvermerk Automatisierungstech. 47 (1999) S. 571-580.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page