Petri's axioms of concurrency a selection of recent results
From MaRDI portal
(Redirected from Publication:6487376)
Recommendations
Cites work
- D-continuous causal nets: A model of non-sequential processes
- scientific article; zbMATH DE number 3825188 (Why is no real title available?)
- scientific article; zbMATH DE number 3974309 (Why is no real title available?)
- scientific article; zbMATH DE number 4096791 (Why is no real title available?)
- scientific article; zbMATH DE number 4098728 (Why is no real title available?)
- scientific article; zbMATH DE number 3677208 (Why is no real title available?)
- scientific article; zbMATH DE number 193318 (Why is no real title available?)
- Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. Ed. by Wilfried Brauer
- Nets, time and space
- State-transition structures in physics and in computation
Cited in
(9)- Axiomatic systems in concurrency theory
- Concurrency semantics for the Geiger-Paz-Pearl axioms of independence
- A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems
- scientific article; zbMATH DE number 4096791 (Why is no real title available?)
- scientific article; zbMATH DE number 1432326 (Why is no real title available?)
- Circular traffic queues and Petri's cycloids
- What are the fundamental structures of concurrency? We still don't know!
- An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
- Thinking in Cycles
This page was built for publication: Petri's axioms of concurrency a selection of recent results
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487376)
