Synthesising elementary net systems with inhibitor arcs from step transition systems
Fundamenta Informaticae - Application of concurrency to system design
Event Structures with Disabling/Enabling Relation and Event Automata
Fundamenta Informaticae
How to synthesize nets from languages: a survey
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Synthesis of Nets with Step Firing Policies
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Synthesis of Elementary Net Systems with Context Arcs and Localities
Fundamenta Informaticae - PETRI NETS 2007
Analysis and Synthesis of Net Structures and Transition Graphs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Synthesis of Nets with Step Firing Policies
Fundamenta Informaticae - Petri Nets 2008
Process discovery and petri nets†
Mathematical Structures in Computer Science
Synthesis of elementary net systems with context arcs and localities
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Theory of regions for the synthesis of inhibitor nets from scenarios
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Transition systems of elementary net systems with localities
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Analysis and Synthesis of Net Structures and Transition Graphs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Synthesis of Nets with Step Firing Policies
Fundamenta Informaticae - Petri Nets 2008
Synthesis of Elementary Net Systems with Context Arcs and Localities
Fundamenta Informaticae - PETRI NETS 2007
Event Structures with Disabling/Enabling Relation and Event Automata
Fundamenta Informaticae
Regions of Petri nets with a/sync connections
Theoretical Computer Science
Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems
Fundamenta Informaticae - Application of Concurrency to System Design
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs
Fundamenta Informaticae
Hi-index | 0.00 |