scientific article; zbMATH DE number 1106703

MaRDI QIDQ4372017zbMATH OpenFDO

Authors Wolfgang Reisig

Publication date 21 January 1998

zbMATH Keywords

distributed algorithmsPetri net

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Petri nets. Theoretical models and analysis methods for concurrent systems
• scientific article; zbMATH DE number 51631
• scientific article; zbMATH DE number 3890722
• scientific article; zbMATH DE number 4045167
• Nested Petri nets: modeling and analysis of distributed systems with object structure
• Petri net based verification of distributed algorithms: An example
• scientific article; zbMATH DE number 1173911
• scientific article; zbMATH DE number 2020760

Cited in

(24)

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4372017)