Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
Synthesising elementary net systems with inhibitor arcs from step transition systems
Fundamenta Informaticae - Application of concurrency to system design
Concurrent Implementation of Asynchronous Transition Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
The synthesis of petri nets from path-automatic specifications
Information and Computation
Information Processing Letters
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Synthesis of Nets with Step Firing Policies
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Process Discovery Using Integer Linear Programming
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
A Region-Based Algorithm for Discovering Petri Nets from Event Logs
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Process Mining: Overview and Outlook of Petri Net Discovery Algorithms
Transactions on Petri Nets and Other Models of Concurrency II
Divide-and-Conquer Strategies for Process Mining
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Synthesis of Nets with Step Firing Policies
Fundamenta Informaticae - Petri Nets 2008
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Information Processing Letters
An efficient liveness enforcing supervisor for FMSs based on Petri nets and the theory of regions
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Region based synthesis of P/T-nets and its potential applications
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Process mining based on regions of languages
BPM'07 Proceedings of the 5th international conference on Business process management
Projection approaches to process mining using region-based techniques
Data Mining and Knowledge Discovery
Process mining and petri net synthesis
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Process mining from a basis of state regions
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Transactions on Petri Nets and Other Models of Concurrency V
Compact Representations and Efficient Algorithms for Operating Guidelines
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Light Region-based Techniques for Process Discovery
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Synthesis of Nets with Step Firing Policies
Fundamenta Informaticae - Petri Nets 2008
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
An SMT-Based discovery algorithm for c-nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems
Fundamenta Informaticae - Application of Concurrency to System Design
Net-Definability of Process Languages
Fundamenta Informaticae
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs
Fundamenta Informaticae
| Hi-index | 0.00 |