The following pages link to Maciej Koutny (Q218985):
Displaying 50 items.
- Order Structures for Subclasses of Generalised Traces (Q2799218) (← links)
- Characterising concurrent histories (Q2804174) (← links)
- Persistent and nonviolent steps and the design of GALS systems (Q2805425) (← links)
- Towards Quantitative Verification of Reaction Systems (Q2819155) (← links)
- Modelling opacity using Petri nets (Q2849576) (← links)
- A Petri net semantics of a simple process algebra for mobility (Q2852064) (← links)
- Infinite traces and symbolic dynamics -- the minimal shift case (Q2882381) (← links)
- Synthesis Problem for Petri Nets with Localities (Q2889615) (← links)
- Non-atomic Transition Firing in Contextual Nets (Q2941146) (← links)
- An Algebra of Non-safe Petri Boxes (Q2996143) (← links)
- The Mutex Paradigm of Concurrency (Q3011890) (← links)
- (Q3018961) (← links)
- Minimal Regions of ENL-Transition Systems (Q3081900) (← links)
- Membrane Systems with Qualitative Evolution Rules (Q3100938) (← links)
- Relevance of Entities in Reaction Systems (Q3166942) (← links)
- Synthesis of Petri Nets with Whole-Place Operations and Localities (Q3179395) (← links)
- Reversible Computation vs. Reversibility in Petri Nets (Q3186587) (← links)
- (Q3210192) (← links)
- (Q3342247) (← links)
- Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques (Q3400536) (← links)
- Applying Step Coverability Trees to Communicating Component-Based Systems (Q3400920) (← links)
- Tissue Systems and Petri Net Synthesis (Q3452477) (← links)
- (Q3504345) (← links)
- (Q3505124) (← links)
- Failures: Their Definition, Modelling and Analysis (Q3525090) (← links)
- A Petri Net Translation of π-Calculus Terms (Q3525146) (← links)
- (Q3527017) (← links)
- Petri Nets with Localities and Testing (Q3569859) (← links)
- Synchrony and Asynchrony in Membrane Systems (Q3591016) (← links)
- (Q3601863) (← links)
- Synthesis of Elementary Net Systems with Context Arcs and Localities (Q3612939) (← links)
- Infinite Process Semantics of Inhibitor Nets (Q3618709) (← links)
- (Q3619260) (← links)
- Identification of regular configurations with partial information (Q3712071) (← links)
- (Q3725542) (← links)
- (Q3774931) (← links)
- (Q3814775) (← links)
- (Q4037102) (← links)
- (Q4037381) (← links)
- (Q4222782) (← links)
- (Q4268450) (← links)
- (Q4329001) (← links)
- (Q4417949) (← links)
- (Q4458493) (← links)
- (Q4461748) (← links)
- (Q4472254) (← links)
- (Q4484509) (← links)
- (Q4536617) (← links)
- Alphabets of Acyclic Invariant Structures (Q4601131) (← links)
- Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations (Q4601137) (← links)
