scientific article
From MaRDI portal
Publication:3939245
zbMath0481.68057MaRDI QIDQ3939245
Ludmila A. Cherkasova, Vadim E. Kotov
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
reachabilityPetri netsrecursively enumerable languageshierarchical asynchronous structures and processes
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items (3)
Nested-unit Petri nets ⋮ An algebra of concurrent non-deterministic processes ⋮ Reachability in Petri Nets with Inhibitor Arcs
This page was built for publication:
