Reachability homomorphisms on nets
Autor(en): | Ebert, J. Perl, J. |
Herausgeber: | Noltemeier, H. | Stichwörter: | Petri nets; Semantics, Reachability; Semantic interpretation, Condensation | Erscheinungsdatum: | 1981 | Herausgeber: | Springer Verlag | Journal: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Volumen: | 100 LNCS | Startseite: | 326 | Seitenende: | 334 | Zusammenfassung: | Since Petri-net-descriptions of processes tend to be impracticably large, there is a need for a condensation mechanism. This paper attacks this problem by at first describing a purely structural condensation operation as a tool for stepwise condensation and refinement. Then, a consistent semantic interpretation is given, which allows to transform marking properties dynamically. © 1981, Springer-Verlag. |
Beschreibung: | Conference of 6th International Workshop on Graphtheoretic Concepts in Computer Science, 1980 ; Conference Date: 15 June 1980 Through 18 June 1980; Conference Code:202689 |
ISBN: | 9783540102915 | ISSN: | 03029743 | DOI: | 10.1007/3-540-10291-4_24 | Externe URL: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84972994784&doi=10.1007%2f3-540-10291-4_24&partnerID=40&md5=a72cb103cafae1a47c7ddf6b24bce95b |
Zur Langanzeige