Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2004Integration of software specification techniques for applications in engineering
: Ehrig, H.; Damm, W.; Desel, J.; Große-Rhode, M.; Reif, W.; Schnieder, E.; Westkämper, E.
Tagungsband
1997DAWN: Petrinetzmodelle zur Verifikation verteilter Algorithmen
Weber, M.; Walter, R.; Völzer, H.; Vesper, T.; Reisig, W.; Peuker, S.; Kindler, E.; Freiheit, J.; Desel, J.
Buch
1990P/T-systems as abstractions of C/E-systems
Desel, J.; Merceron, A.
Konferenzbeitrag
1990Partial order behaviour and structure of Petri Nets
Best, E.; Desel, J.
Zeitschriftenaufsatz
1990Tramps, free choice and home states (extendet abstract)
Best, E.; Cherkasova, L.A.; Desel, J.; Esparza, J.
Konferenzbeitrag
1989AC/DC-Systems
Best, E.; Desel, J.
Zeitschriftenaufsatz
1989Partial order behaviour and structure of petri nets
Best, E.; Desel, J.
Bericht
1988P/T-systems as abstractions of C/E-systems
Desel, J.; Merceron, A.
Bericht
1988P/T-systems as abstractions of C/E-systems
Desel, J.; Merceron, A.
Konferenzbeitrag
1988Synchronie-Abstand in Stellen/Transitionen-Systemen
Desel, J.
Bericht
1988Wanted: Dead or alive?
Desel, J.
Zeitschriftenaufsatz
1986A structural property of free-choice systems
Desel, J.
Zeitschriftenaufsatz
1985Another boatman story
Desel, J.
Zeitschriftenaufsatz