A Case Study in Design and Validation of Reactive Systems by Means of Petri Nets
Author: | Monika HeinerORCiD, Peter H. Deussen |
---|---|
URL: | http://www-dssz.informatik.tu-cottbus.de/publications/papers/1996_lille.pdf |
Title of the source (English): | CESA '96 IMACS Multiconference, Computational Engineering in Systems Applications, Symposium "Discrete Events and Manufacturing Systems", Lille, July 1996 |
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 1996 |
First Page: | 121 |
Last Page: | 126 |
Comment: | referiert |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit |