scientific article; zbMATH DE number 3982529
From MaRDI portal
Publication:3746897
zbMATH Open0607.68045MaRDI QIDQ3746897FDOQ3746897
Authors: P. S. Thiagarajan, Grzegorz Rozenberg 
Publication date: 1986
Title of this publication is not available (Why is that?)
Recommendations
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Cited In (74)
- A theory of bipolar synchronization scheme
- Linear properties of zero-safe nets with debit tokens
- A generic causal model for place latency.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Vocabulary Petri nets
- Structure theory of Petri nets
- Composantes préconservatives minimales d'un réseau de Petri : étude structurelle
- Drawing the line: basin boundaries in safe Petri nets
- Title not available (Why is that?)
- Title not available (Why is that?)
- An interpretation of CCS into ludics
- Petri nets with structured data
- Title not available (Why is that?)
- Nadia Busi (1968–2007)
- Partial (set) 2-structures. I: Basic notions and the representation problems
- Partial (set) 2-structures. II: State spaces of concurrent systems
- Typed event structures and the linear \(\pi \)-calculus
- Petri nets as bitopological spaces
- Title not available (Why is that?)
- Title not available (Why is that?)
- Occurrence nets then and now: the path to structured occurrence nets
- Title not available (Why is that?)
- Probabilistic \(\pi\)-calculus and event structures
- Structure matrices for Petri nets and their applications
- Title not available (Why is that?)
- On the border of causality: contact and confusion
- Title not available (Why is that?)
- Title not available (Why is that?)
- Petri nets based on Lawvere theories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 1-safe Petri nets generating every binary \(n\)-vector exactly once
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- On a homomorphism of a component Petri net
- The formalization of decision-free Petri net
- Characterisation of pasting system using array token Petri nets
- An algebraic characterization of independence of Petri net processes
- Petri nets with persistence
- A characterization of set representable labeled partial 2-structures through decompositions
- Title not available (Why is that?)
- Confusion control in generalized Petri nets using synchronized events
- Title not available (Why is that?)
- Petri net distributability
- Process versus unfolding semantics for Place/Transition Petri nets
- Title not available (Why is that?)
- Event structures and trace monoids
- Title not available (Why is that?)
- Some behavioural aspects of net theory
- Title not available (Why is that?)
- Advances in Petri nets 1993. APN 93
- Confusion analysis and detection for workflow nets
- Toward uniform random generation in 1-safe Petri nets
- Title not available (Why is that?)
- On occurrence net semantics for petri nets with contacts
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)
- Title not available (Why is that?)
- Causal behaviours and nets
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On particular class of location-transition Petri nets: state machine
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 Q3746897)
