Parallel permit grammars and some graph representations of Petri nets

DOI10.1007/BF02017963zbMath0423.68034MaRDI QIDQ1134528

S. H. Smith

Publication date: 1980

Published in: Periodica Mathematica Hungarica (Search for Journal in Brave)

zbMATH Keywords

Petri net; graph representations; Cartesian graph; parallel permit grammar; rewriting set rules

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)