scientific article
From MaRDI portal
Publication:3997018
zbMath0694.68007MaRDI QIDQ3997018
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (22)
An exercise in structural congruence ⋮ On selective unboundedness of VASS ⋮ Decidability of opacity verification problems in labeled Petri net systems ⋮ On detectability of labeled Petri nets and finite automata ⋮ The geometry and topology of reconfiguration ⋮ Recursive Petri nets ⋮ Strategic reasoning with a bounded number of resources: the quest for tractability ⋮ FORWARD ANALYSIS OF DYNAMIC NETWORK OF PUSHDOWN SYSTEMS IS EASIER WITHOUT ORDER ⋮ Automatic Verification of Bossa Scheduler Properties ⋮ On stubborn sets in the verification of linear time temporal properties ⋮ Unnamed Item ⋮ Parameterized Complexity Results for 1-safe Petri Nets ⋮ Deficiency Zero Petri Nets and Product Form ⋮ Analyzing Reachability for Some Petri Nets With Fast Growing Markings ⋮ Introduction to Petri Nets ⋮ Supervisory Control of Petri Nets with Language Specifications ⋮ On the Expressiveness of Mobile Synchronizing Petri Nets ⋮ Constructing Petri net models using genetic search ⋮ Optimising the flow of information within a C3I network. ⋮ Unnamed Item ⋮ Multiple conjugacy problem in graphs of free abelian groups. ⋮ Petri nets for modeling of dynamic systems -- a survey
This page was built for publication:
