scientific article; zbMATH DE number 1106703
From MaRDI portal
Publication:4372017
zbMATH Open0907.68130MaRDI QIDQ4372017FDOQ4372017
Authors: Wolfgang Reisig 
Publication date: 21 January 1998
Title of this publication is not available (Why is that?)
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
Parallel algorithms in computer science (68W10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (24)
- Plan coordination by revision in collective agent based systems.
- Relational structures model of concurrency
- 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
- Distributed Control of Discrete-Event Systems: A First Step
- Encoding the dynamics of deterministic systems
- 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)
