scientific article
From MaRDI portal
Publication:3350793
zbMath0727.68082MaRDI QIDQ3350793
Ferucio Laurenţiu Ţiplea, J.Toader, Cristian Masalagiu
Publication date: 1991
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) Grammars and rewriting systems (68Q42)
Related Items (3)
Selective petri net languages ⋮ Extensible structural analysis of Petri net product lines ⋮ A rigorous methodology for specification and verification of business processes
This page was built for publication:
