scientific article; zbMATH DE number 3471613
From MaRDI portal
Publication:4055201
Cited in
(25)- A context dependent equivalence between processes
- A decomposition theorem for finite persistent transition systems
- On the reversibility of circular conservative Petri nets
- Synthesis of (choice-free) reset nets
- Causal automata
- Step persistence in the design of GALS systems
- A Note on Persistent Petri Nets
- Decomposition Theorems for Bounded Persistent Petri Nets
- Sufficient conditions for the marked graph realisability of labelled transition systems
- Presynthesis of bounded choice-free or fork-attribution nets
- Modal logics for communicating systems
- (A-)synchronous (non)-deterministic cell spaces simulating each other
- State space axioms for T-systems
- Execution termination and computation determinacy of data-flow program nets
- Factorisation of transition systems
- Synchronization and computing capabilities of linear asynchronous structures
- Bounded choice-free Petri net synthesis: algorithmic issues
- Regularity and firing sequences of computation graphs
- An extension of the taxonomy of persistent and nonviolent steps
- Simulation, reduction and preservation of correctness properties of parallel systems
- Linear time analysis of properties of conflict-free and general Petri nets
- Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis
- Characterisation of the state spaces of marked graph Petri nets
- Modular implementation of concurrency
- On reduction of asynchronous systems
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 Q4055201)
