Publication:4372017

zbMath0907.68130MaRDI QIDQ4372017

Wolfgang Reisig

Publication date: 21 January 1998

zbMATH Keywords

Petri net; distributed algorithms

Mathematics Subject Classification ID

68W10: Parallel algorithms in computer science

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

Related Items

Distributed Control of Discrete-Event Systems: A First Step, Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework, The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems, Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing, A Hybrid Approach to Modeling Biological Systems, Petri games: synthesis of distributed systems with causal memory, Graph-based communication in Eden, Encoding the dynamics of deterministic systems, Relational structures model of concurrency, Further results on generalised communicating P systems, Abstract state machines: a unifying view of models of computation and of system design frameworks, On stubborn sets in the verification of linear time temporal properties, Possible worlds and resources: The semantics of \(\mathbf{BI}\), Plan coordination by revision in collective agent based systems., Modal algebra and Petri nets, Observable liveness of Petri nets, Implementing dataflow with threads, Keep it fair: equivalence and composition, Petri net reactive modules, A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems, Oclets – Scenario-Based Modeling with Petri Nets