scientific article; zbMATH DE number 1106703
From MaRDI portal
Publication:4372017
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
(26)- Petri net based verification of distributed algorithms: An example
- 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
- On Distributability of Petri Nets
- A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems
- Oclets – Scenario-Based Modeling with Petri Nets
- Modeling and simulation of distributed systems. With CD-ROM
- scientific article; zbMATH DE number 1101604 (Why is no real title available?)
- Distributed Control of Discrete-Event Systems: A First Step
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
- Petri games: synthesis of distributed systems with causal memory
- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems
- Graph-based communication in Eden
- Partially ordered knowledge sharing and fractionated systems in the context of other models for distributed computing
- A Hybrid Approach to Modeling Biological Systems
- Encoding the dynamics of deterministic systems
- ESTL: A Temporal Logic for Events and States
- Relational structures model of concurrency
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)
