Characterizing workflow nets using regions

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2006

Volumn , Issue , 2006, Pages 399-406

  Busi, Nadia ^a   Pinna, G Michele ^b  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

Business process modeling and analysis; Formal models in business process management; Process mining; Theory of regions

Indexed keywords

ENTERPRISE RESOURCE MANAGEMENT; SYSTEMS ENGINEERING; WORK SIMPLIFICATION; XML;

BUSINESS COLLABORATION; BUSINESS PROCESS MODELING AND ANALYSIS; BUSINESS TRANSACTION; FORMAL MODELS IN BUSINESS PROCESS MANAGEMENT; PROCESS MINING; THEORY OF REGIONS; WORKFLOW MANAGEMENT SYSTEMS; WORKFLOW MINING;

COMPUTATION THEORY;

EID: 46449117984     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SYNASC.2006.21     Document Type: Conference Paper

References (14)

1. E. Badouel and P. Darondeau. Theory of regions. In W. Reisig and G. Rozenberg, editors, Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, volume 1491 of Lecture Notes in Computer Science, pages 529-586, Springer Verlag, 1998.
2. L. Bernardinello. Synthesis of net systems. In M. Ajmone Marsan, editor, Proceedings of the 14th Confrence on the Application and Theory of Petri Nets, volume 691 of Lecture Notes in Computer Science, pages 89-105. Springer Verlag, 1993.
3. N. Busi and G. Pinna. Synthesis of nets with inhibitor arcs. In A. Mazurkiewicz and J. Winkowski, editors, CONCUR'97 Conference Proceedings, volume 1243 of Lecture Notes in Computer Science, pages 151-165. Springer Verlag, 1997.
4. A. K. A. de Medeiros, W. M. P. van der Aalst, and A. J. M. M. Weijters. Workflow mining: Current status and future directions. In R. Meersman, Z. Tari, and D. Schmidt, editors, On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE - OTM Confederated International Conferences, volume 2888 of Lecture Notes in Computer Science, pages 389-406. Springer, 2003.
5. J. Desel and W. Reisig. The synthesis problem of Petri nets. Acta Informatica, 33:296-315, 1996.
6. A. Ehrenfeucht and G. Rozenberg. Partial (set) 2-structures. Part I: Basic notions and the representation problem. Part II: State spaces of concurrent systems. Acta Informatica, 27(4):315-368, 1989.
7. W. Reisig. Petri Nets: An Introduction. EACTS Monographs on Theoretical Computer Science. Springer Verlag, 1985.
8. W. M. P. van der Aalst, J. Desel, and A. Oberweis, editors. Business Process Management, Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science. Springer, 2000.
9. W. M. P. van der Aalst and A. H. M. ter Hofstede. Yawl: yet another workflow language. Information Systems, 30(4):245-275, 2005.
10. W. M. P. van der Aalst, B. R van Dongen, J. Herbst, L. Maruster, G. Schimm, and A. J. M. M. Weijters. Workflow mining: A survey of issues and approaches. Data & Knowledge Engineering, 47(2):237-267, 2003.
11. W. M. P. van der Aalst and K. M. van Hee. Workflow Management: Models, Methods and Systems. MIT Press, 2002.
12. W. M. P. van der Aalst, T. Weijters, and L. Maruster. Workflow mining: Discovering process models from event logs. IEEE Transactions on Knowledge and Data Engineering, 16(9):1128-1142, 2004.
13. B. van Dongeni, A. de Medeiros, H. Verbeeki, and W. Weijters, A.J.M.M.and van der Aalst. The ProM framework: A new era in process mining tool support. In G. Ciardo and P. Darondeau, editors, Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN2005, volume 3536 of Lecture Notes in Computer Science, pages 444-454. Springer, 2005.
14. G. Winskel. Event Structures. In Petri Nets: Applications and Relationships to Other Models of Concurrency, volume 255 of Lecture Notes in Computer Science, pages 325-392. Springer Verlag, 1987.