The following pages link to Luca Bernardinello (Q897108):
Displaying 29 items.
- Petri net synthesis (Q897109) (← links)
- The synthesis problem for elementary net systems is NP-complete (Q1389765) (← links)
- Weak observable liveness and infinite games on finite graphs (Q1662538) (← links)
- An algebraic model of observable properties in distributed systems (Q1853608) (← links)
- A two-player asynchronous game on fully observable Petri nets (Q2032842) (← links)
- On stability of regional orthomodular posets (Q2033029) (← links)
- Topics in region theory and synthesis problems (Q2117149) (← links)
- Property-preserving transformations of elementary net systems based on morphisms (Q2163769) (← links)
- On Orthomodular Posets Generated by Transition Systems (Q2825351) (← links)
- Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms (Q2849441) (← links)
- Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets (Q3084984) (← links)
- (Q3152834) (← links)
- Modeling Distributed Private Key Generation by Composing Petri Nets (Q3452467) (← links)
- (Q3504337) (← links)
- Modular System Development with Pullbacks (Q3550615) (← links)
- Orthomodular Lattices in Occurrence Nets (Q3636845) (← links)
- Synthesis of Transition Systems from Quantum Logics (Q4601119) (← links)
- (Q4699291) (← links)
- (Q4995147) (← links)
- Polynomial algorithms for the synthesis of bounded nets (Q5096743) (← links)
- Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence (Q5114208) (← links)
- (Q5146648) (← links)
- Closed Sets in Occurrence Nets with Conflicts (Q5259237) (← links)
- Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets (Q5268427) (← links)
- (Q5431911) (← links)
- Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets (Q5452053) (← links)
- (Q5506351) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703993) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712360) (← links)
