A theory of bipolar synchronization scheme
From MaRDI portal
Publication:799113
DOI10.1016/0304-3975(84)90137-3zbMATH Open0547.68054OpenAlexW2058791725MaRDI QIDQ799113FDOQ799113
Authors: P. S. Thiagarajan, Hartmann J. Genrich 
Publication date: 1984
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(84)90137-3
Recommendations
concurrencydistributed systemsPetri netsconcurrent programsbipolar synchronization schemessynthesis procedures
Cites Work
- Coloured Petri nets and the invariant-method
- Marked directed graphs
- A calculus of communicating systems
- Title not available (Why is that?)
- System modelling with high-level Petri nets
- Automata and concurrency
- Synchronisationsgraphen
- Analysis of Petri nets by stepwise refinements
- Title not available (Why is that?)
- Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the Interconnection of Asynchronous Control Structures
- Title not available (Why is that?)
- Top-down design in the context of parallel programs
- Title not available (Why is that?)
- On the Equivalence of Asynchronous Control Structures
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
- Petri Net Based Certification of Event-Driven Process Chains
- Place/transition nets with debit arcs
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)
