Over-Approximative Petri Net Synthesis for Restricted Subclasses of Nets. | 0 | 0.34 | 2018 |
Factorisation of Petri Net Solvable Transition Systems. | 1 | 0.35 | 2018 |
Simultaneous Petri Net Synthesis | 0 | 0.34 | 2018 |
Bounded choice-free Petri net synthesis: algorithmic issues. | 2 | 0.37 | 2018 |
A Geometric Characterisation of Event/State Separation. | 0 | 0.34 | 2018 |
Properties of Plain, Pure, and Safe Petri Nets. | 0 | 0.34 | 2017 |
A Graph-Theoretical Characterisation of State Separation. | 1 | 0.43 | 2017 |
Synthesis of Labelled Transition Systems into Equal-Conflict Petri Nets. | 0 | 0.34 | 2017 |
Incremental Process Discovery using Petri Net Synthesis. | 0 | 0.34 | 2017 |
k-Bounded Petri Net Synthesis from Modal Transition Systems. | 1 | 0.37 | 2017 |
Characterising Petri Net Solvable Binary Words. | 5 | 0.57 | 2016 |
Bounded Petri Net Synthesis from Modal Transition Systems is Undecidable. | 0 | 0.34 | 2016 |
Petri Net Synthesis for Restricted Classes of Nets. | 3 | 0.42 | 2016 |
Analysis Of Petri Nets And Transition Systems | 11 | 0.70 | 2015 |
An adaptive penalty function with meta-modeling for constrained problems. | 2 | 0.36 | 2013 |