scientific article
From MaRDI portal
Publication:3902495
zbMath0454.68053MaRDI QIDQ3902495
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (7)
Net processes correspond to derivation processes in graph grammars ⋮ Transformation of variants of Petri nets into context-dependent fusion grammars ⋮ Concurrent graph and term graph rewriting ⋮ Discovery, Verification and Conformance of Workflows with Cancellation ⋮ Formal relationship between graph grammars and Petri nets ⋮ On categorical graph grammars integrating structural transformations and operations on labels ⋮ A structural approach to graph transformation based on symmetric Petri nets
This page was built for publication:
