Combining structural properties and symbolic representation for efficient analysis of Petri nets
Author: | Jochen Spranger |
---|---|
URL: | http://www-dssz.informatik.tu-cottbus.de/publications/papers/1998_jsp_csp.pdf |
Title of the source (English): | Workshop Concurrency, Specification & Programming, September 28 - 30, 1998 |
Publisher: | Professoren des Institutes für Informatik |
Place of publication: | Berlin |
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 1998 |
First Page: | 236 |
Last Page: | 244 |
Comment: | referiert |
Series ; volume number: | Informatik-Berichte, Humboldt-Universität zu Berlin ; 110 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit |