A trace semantics for Petri nets
Information and Computation
The synthesis problem for elementary net systems with inhibitor arcs
Fundamenta Informaticae - Special issue prepared in tribute to Peter Ernst on the occasion of his retirement
Synthesising elementary net systems with inhibitor arcs from step transition systems
Fundamenta Informaticae - Application of concurrency to system design
Deriving Unbounded Petri Nets from Formal Languages
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Synthesis of Nets with Inhibitor Arcs
CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
A Programming Approach to the Design of Asynchronous Logic Blocks
Concurrency and Hardware Design, Advances in Petri Nets
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Finding Structure in Unstructured Processes: The Case for Process Mining
ACSD '07 Proceedings of the Seventh International Conference on Application of Concurrency to System Design
Synthesis of Petri Nets from Finite Partial Languages
ACSD '07 Proceedings of the Seventh International Conference on Application of Concurrency to System Design
Hardware and Petri nets: application to asynchronous circuit design
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
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
Process mining based on regions of languages
BPM'07 Proceedings of the 5th international conference on Business process management
Towards synthesis of petri nets from scenarios
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Can i execute my scenario in your net?
ICATPN'05 Proceedings of the 26th 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
Synthesis of Petri Nets from Scenarios with VipTool
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Discovery, Verification and Conformance of Workflows with Cancellation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Synthesis of Petri Nets from Finite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
Partial Order Semantics of Types of Nets
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Process Mining: Overview and Outlook of Petri Net Discovery Algorithms
Transactions on Petri Nets and Other Models of Concurrency II
Construction of Process Models from Example Runs
Transactions on Petri Nets and Other Models of Concurrency II
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
Rbminer: a tool for discovering Petri nets from transition systems
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
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
On the exploitation of process mining for security audits: the process discovery case
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
In this paper we present a survey on methods for the synthesis of Petri nets from behavioral descriptions given as languages. We consider place/transition Petri nets, elementary Petri nets and Petri nets with inhibitor arcs. For each net class we consider classical languages, step languages and partial languages as behavioral description. All methods are based on the notion of regions of languages. We identify two different types of regions and two different principles of computing from the set of regions of a language a finite Petri net generating this language. For finite or regular languages almost each combination of Petri net class, language type, region type and computation principle can be considered to compute such a net. Altogether, we present a framework for region-based synthesis of Petri nets from languages which integrates almost all known approaches and fills several remaining gaps in literature.