HMSCs as Partial Specifications ... with PNs as Completions
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Concurrent Implementation of Asynchronous Transition Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
HMSCs as partial specifications ... with PNs as completions
Modeling and verification of parallel processes
The synthesis of petri nets from path-automatic specifications
Information and Computation
How to synthesize nets from languages: a survey
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Process Discovery Using Integer Linear Programming
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Synthesis of Petri Nets from Finite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
Process Mining: Overview and Outlook of Petri Net Discovery Algorithms
Transactions on Petri Nets and Other Models of Concurrency II
Hasse Diagram Generators and Petri Nets
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Process discovery and petri nets†
Mathematical Structures in Computer Science
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
On-the-fly auditing of business processes
Transactions on Petri nets and other models of concurrency IV
Transactions on Petri Nets and Other Models of Concurrency V
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design
Synthesis of Petri Nets from Finite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
Regions of Petri nets with a/sync connections
Theoretical Computer Science
Building Occurrence Nets from Reveals Relations
Fundamenta Informaticae
Hi-index | 0.00 |