Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language-Reference-Cited by-同舟云学术

Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language

Published:2009 Issue: Volume: Page:216-243
ISSN:0302-9743
Container-title:Transactions on Petri Nets and Other Models of Concurrency III
language:
Short-container-title:

Author:

Bergenthum Robin,Desel Jörg,Mauser Sebastian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04856-2_9.pdf

Reference23 articles.

1. Badouel, E., Darondeau, P.: On the Synthesis of General Petri Nets. Technical Report 3025, Inria (1996)

2. Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Synthesis of Petri Nets from Infinite Partial Languages. In: ACSD 2008, pp. 170–179. IEEE, Los Alamitos (2008)

3. Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: VipTool-Homepage (2009), http://viptool.ku-eichstaett.de

4. Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: A Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers. IEICE Trans. of Informations and Systems E80-D(3), 315–325 (1997)

5. Lecture Notes in Computer Science;J. Cortadella,2000

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Partial-order-based process mining: a survey and outlook;Knowledge and Information Systems;2022-11-02

2. Prime Miner - Process Discovery using Prime Event Structures;2019 International Conference on Process Mining (ICPM);2019-06

3. Synthesizing Petri Nets from Hasse Diagrams;Lecture Notes in Computer Science;2017

4. Verification of Scenarios in Petri Nets Using Compact Tokenflows;Fundamenta Informaticae;2015

5. Simplifying discovered process models in a controlled manner;Information Systems;2013-06