On Exploiting the Analysis Power of Petri nets for the Validation of Discrete Event Systems
Author: | Monika HeinerORCiD |
---|---|
ISBN: | 3-901608-11-7 |
Title of the source (English): | Proceedings, IMACS Symposium on Mathematical Modelling, February 5 - 7, 1997, Technical Univ. Vienna, Austria, 2nd Mathmod Vienna |
Publisher: | ARGESIM |
Place of publication: | Vienna |
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 1997 |
First Page: | 171 |
Last Page: | 176 |
Comment: | referiert |
Series ; volume number: | ARGESIM report ; 11 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit |