Konvertierung sicherer Petri-Netze in Statecharts
| Zugehörige Institution(en) am KIT | Institut für Regelungs- und Steuerungssysteme (IRS) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 1999 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 75799 |
| Erscheinungsvermerk | Automatisierungstech. 47 (1999) S. 571-580. |