scientific article
From MaRDI portal
Publication:3745287
zbMath0606.68052MaRDI QIDQ3745287
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Turing machinesreachabilitylivenessapplicationsdecidabilityfinite-state machinesPetri net languagessafenessregular netsfree-choice netsextended Petri netssimple netsK-densitysynchronisation graphs
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items
Colored cause-effect structures, On flowchart theories. I. The deterministic case, Algebra of two-level cause-effect structures, Experience of intellectualization of situational modeling methods for discrete time-varying spatial objects, Objective and operational dynamic models of complex processes: their interaction, Unnamed Item, Paradigm of computations on the Petri nets, On the Analysis of Petri Nets and their Synthesis from Process Languages, State equations and equivalent transformations for timed Petri nets
