Petri nets: an introduction
Place/transition Petri net evolutions: recording ways, analysis and synthesis
Fundamenta Informaticae
On Concurrent Realization of Reactive Systems and Their Morphisms
Unifying Petri Nets, Advances in Petri Nets
Analysis and Synthesis of Net Structures and Transition Graphs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Analysis and Synthesis of Net Structures and Transition Graphs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Hi-index | 0.00 |