Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages
DOI10.3233/FI-2009-147zbMATH Open1217.68147OpenAlexW1649397713MaRDI QIDQ3400552FDOQ3400552
Authors: Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz 
Publication date: 5 February 2010
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2009-147
Recommendations
- Synthesis of Petri nets from finite partial languages
- scientific article; zbMATH DE number 4098730
- scientific article; zbMATH DE number 4024803
- scientific article; zbMATH DE number 1305001
- On an infinite hierarchy of Petri net languages
- Comparison of different algorithms to synthesize a Petri net from a partial language
- Modular synthesis of Petri nets from regular languages
- scientific article; zbMATH DE number 4074503
- On the Analysis of Petri Nets and their Synthesis from Process Languages
- The synthesis of Petri nets from path-automatic specifications
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (12)
- Aggregating causal runs into workflow nets
- Discovering object-centric Petri nets
- Models from scenarios
- Modular synthesis of Petri nets from regular languages
- Discovering block-structured process models from event logs -- a constructive approach
- \(\omega\)-process languages for place/transition nets.
- Synthesis of Petri nets from finite partial languages
- Hasse diagram generators and Petri nets
- Discovering Block-Structured Process Models from Incomplete Event Logs
- Comparison of different algorithms to synthesize a Petri net from a partial language
- Hasse Diagram Generators and Petri Nets
- Discovering unseen behaviour from event logs
This page was built for publication: Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3400552)
