Recommendations
Cites work
- scientific article; zbMATH DE number 3810937 (Why is no real title available?)
- scientific article; zbMATH DE number 3825179 (Why is no real title available?)
- scientific article; zbMATH DE number 3825182 (Why is no real title available?)
- scientific article; zbMATH DE number 3688732 (Why is no real title available?)
- scientific article; zbMATH DE number 3601083 (Why is no real title available?)
- scientific article; zbMATH DE number 3251122 (Why is no real title available?)
- A calculus of communicating systems
- Analysis of Petri nets by stepwise refinements
- Automata and concurrency
- Coloured Petri nets and the invariant-method
- Marked directed graphs
- On the Equivalence of Asynchronous Control Structures
- On the Interconnection of Asynchronous Control Structures
- Synchronisationsgraphen
- Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance
- System modelling with high-level Petri nets
- Top-down design in the context of parallel programs
Cited in
(6)- Traps characterize home states in free choice systems
- Simplified proof of the blocking theorem for free-choice Petri nets
- Structure theory of equal conflict systems
- Property-preserving transformations of elementary net systems based on morphisms
- Place/transition nets with debit arcs
- Petri Net Based Certification of Event-Driven Process Chains
This page was built for publication: A theory of bipolar synchronization scheme
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q799113)
