Genet: A tool for the synthesis and mining of Petri nets

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn , Issue , 2009, Pages 181-185

  Carmona, J ^a   Cortadella, J ^a   Kishinevsky, M ^b  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^b INTEL CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS INTELLIGENCE; CONCURRENT SYSTEMS; DIGITAL SYSTEM; MODES OF OPERATION; STATE EXPLOSION PROBLEMS; STATE-BASED; TOOL SUPPORT;

GRAPH THEORY; PETRI NETS;

MODEL CHECKING;

EID: 74349130240     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSD.2009.6     Document Type: Conference Paper

References (14)

1. Petrify. http://www.lsi.upc.edu/sjordicf/petrify/.
2. Process mining. www.processmining.org.
3. A. Arnold. Finite Transition Systems. Prentice Hall, 1994.
4. R. I. Bahar, E. A. Frohm, C. M. Gaona, G. D. Hachtel, E. Macii, A. Pardo, and F. Somenzi. Algebraic decision diagrams and their applications. In M. R. Light-ner and J. A. G. Jess, editors, ICCAD, pages 188-191. IEEE Computer Society, 1993.
5. R. Bergenthum, J. Desel, R. Lorenz, and S.Mauser. Process mining based on regions of languages. In Proc. 5th Int. Conf. on Business Process Management, pages 375-383, Sept. 2007.
6. J. Carmona, J. Cortadella, and M. Kishinevsky. A region-based algorithm for discovering Petri nets from event logs. In M. Dumas, M. Reichert, and M. C. Shan, editors, BPM, volume 5240 of LNCS, pages 358-373. Springer, 2008.
7. J. Carmona, J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, and A. Yakovlev. A symbolic algorithm for the synthesis of bounded Petri nets. In 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, June 2008.
8. J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, and A. Yakovlev. Petrify: A tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Trans. on Information and Systems, E80-D(3):315-325, Mar. 1997.
9. A. Ehrenfeucht and G. Rozenberg. Partial (Set) 2- Structures. Part I, II. Acta Informatica, 27:315-368, 1990.
10. T. Murata. Petri Nets: Properties, analysis and applications. Proceedings of the IEEE, pages 541-580, Apr. 1989.
11. T. J. Parr. Language Translation Using PCCTS and C++. 1995.
12. W. M. P. van der Aalst and C. W. Günther. Finding structure in unstructured processes: The case for process mining. In T. Basten, G. Juhás, and S. K. Shukla, editors, ACSD, pages 3-12. IEEE Computer Society, 2007.
13. W. M. P., van der Aalst, B. F., van Dongen, C. W. Günther, R. S. Mans, A. K. A. de Medeiros, A. Rozinat, V. Rubin, M. Song, H. M.W. E. Verbeek, and A. J. M. M.Weijters. ProM 4.0: Comprehensive support for eal process analysis. In J. Kleijn and A. Yakovlev, editors, ICATPN, volume 4546 of Lecture Notes in Computer Science, pages 484-494. Springer, 2007.
14. J. M. E. M. vanderWerf, B. F. vanDongen, C. A. J. Hurkens, and A. Serebrenik. Process discovery using integer linear programming. In Petri Nets, pages 368-387, 2008.