scientific article; zbMATH DE number 3825182
From MaRDI portal
Publication:3670575
zbMATH Open0521.68057MaRDI QIDQ3670575FDOQ3670575
Authors: Wolfgang Reisig 
Publication date: 1983
Title of this publication is not available (Why is that?)
Cited In (51)
- Algebraic nets with flexible arcs
- A theory of bipolar synchronization scheme
- A formal semantics for concurrent systems with a priority relation
- Graph rewriting for a partial ordering semantics of concurrent constraints programming
- Concurrent histories: a basis for observing distributed systems
- Operational and denotational semantics for the box algebra
- On commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets
- On reachability equivalence for BPP-nets
- Restrictions and representations of vector controlled concurrent system behaviours
- Rewriting with a nondeterministic choice operator
- Undecidability of bisimilarity for Petri nets and some related problems
- Handles and reachability analysis of free choice nets
- Concurrent regular expressions and their relationship to Petri nets
- Partial order semantics and read arcs
- Inevitability in concurrent systems
- Representation of computations in concurrent automata by dependence orders
- Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters
- Petri nets with individual tokens
- Mutex needs fairness
- Concurrent systems and inevitability
- Sequential and concurrent behaviour in Petri net theory
- Reachability trees for high-level Petri nets
- On structural conditions for weak persistency and semilinearity of Petri nets
- A calculus of mobile processes. I
- A theory of implementation and refinement in timed Petri nets
- Specification of real-time and hybrid systems in rewriting logic
- On the border of causality: contact and confusion
- Trapping mutual exclusion in the box calculus
- An algebraic semantics for structured transition systems and its application to logic programs
- A true concurrency model of CCS semantics
- Timed Petri nets in modeling and analysis of simple schedules for manufacturing cells
- Relational transducers for electronic commerce
- PN Standardisation: A Survey
- Bounded choice-free Petri net synthesis: algorithmic issues
- Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets
- Structure theory of equal conflict systems
- An abstract machine for concurrent modular systems: CHARM
- Completeness results for linear logic on Petri nets
- Complexity results for 1-safe nets
- Process versus unfolding semantics for Place/Transition Petri nets
- Correctness of concurrent processes
- Universal axioms for bisimulations
- Transformations of sequential specifications into concurrent specifications by synchronization guards
- A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks
- Planning temporal events using point-interval logic
- Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP
- Characterisation of the state spaces of marked graph Petri nets
- Structure of concurrency
- A multiset semantics for the pi-calculus with replication
- Proving nonreachability by modulo-invariants
- On the implementation of concurrent calculi in net calculi: two case studies
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 Q3670575)
