Petri Net Based Design and Analysis of Reactive Systems
Author: | Monika HeinerORCiD, Peter H. Deussen |
---|---|
URL: | http://www-dssz.informatik.tu-cottbus.de/publications/papers/1996_edingburgh.pdf |
ISBN: | 0-85296-664-4 |
Title of the source (English): | International Workshop on Discrete Event Systems, WODES '96, 19 - 21 August 1996, John McIntyre Centre, Pollock Halls, University of Edinburgh, UK |
Publisher: | IEE |
Place of publication: | London |
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 1996 |
First Page: | 308 |
Last Page: | 313 |
Comment: | referiert |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit |