Analysis of Petri Nets with Context-Free Structure Changes
| Autor: | Flick, Nils Erik, Engelmann, Björn |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2015 |
| DOI: | 10.14279/tuj.eceasst.71.1003.992 |
| Popis: | Structure-changing Petri nets are Petri nets with transition replacement rules. In this paper, we investigate the restricted class of structure-changing workflow nets and show that two different reachability properties (concrete and abstract reachability) and word membership in the language of labelled firing sequences are decidable, while a language-based notion of correctness (containment of the language of labelled firing sequences in a regular language) is undecidable. Electronic Communications of the EASST, Volume 71: Graph Computation Models 2014 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|