Transformation of Petri nets into context-dependent fusion grammars
From MaRDI portal
Publication:2278280
DOI10.1007/978-3-030-13435-8_18zbMath1425.68168OpenAlexW2914016264MaRDI QIDQ2278280
Sabine Kuske, Aaron Lye, Hans-Joerg Kreowski
Publication date: 4 December 2019
Full work available at URL: https://doi.org/10.1007/978-3-030-13435-8_18
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Related Items
Transformation of variants of Petri nets into context-dependent fusion grammars ⋮ Unnamed Item ⋮ Deciding non-emptiness of hypergraph languages generated by connection-preserving fusion grammars is NP-complete ⋮ Context-sensitive fusion grammars and fusion grammars with forbidden context are universal
