On the α-reconstructibility of workflow nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7347 LNCS, Issue , 2012, Pages 128-147

  Badouel, Eric ^a  

^a INRIA   (France)

Author keywords

Net Synthesis; Process Mining; Workflows

Indexed keywords

PROCESS MINING; WORK-FLOWS; WORKFLOW NETS;

DATA MINING; PETRI NETS;

ALGORITHMS;

EID: 84862491580     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-31131-4_8     Document Type: Conference Paper

References (15)

1. Badouel, E., Darondeau, P.: Theory of regions. In: Reisig, Rozenberg (eds.) [9], pp. 529-586
2. Badouel, E., Darondeau, P.: Petri Net Synthesis (2013) (Book in preparation)
3. Busi, N., Pinna, M.G.: Characterizing workflow nets using regions. In: SYNASC, pp. 399-406. IEEE Computer Society (2006)
4. Busi, N., Pinna, M.G.: Process discovery and petri nets. Mathematical Structures in Computer Science 19(6), 1091-1124 (2009)
5. Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science, vol. 40. Cambridge University Press (1995)
6. Desel, J., Reisig, W.: The Synthesis Problem of Petri Nets. In: Enjalbert, P., Finkel, A., Wagner, K.W. (eds.) STACS 1993. LNCS, vol. 665, pp. 120-129. Springer, Heidelberg (1993)
7. Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures. part i: Basic notions and the representation problem. Acta Inf. 27(4), 315-342 (1989)
8. Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures. part ii: State spaces of concurrent systems. Acta Inf. 27(4), 343-368 (1989)
9. Reisig,W., Rozenberg, G. (eds.): APN 1998. LNCS, vol. 1491. Springer, Heidelberg (1998)
10. Rozenberg, G., Engelfriet, J.: Elementary net systems. In: Reisig, Rozenberg (eds.) [9], pp. 12-121
11. van der Aalst, W.M.P.: Process Mining - Discovery, Conformance and Enhancement of Business Processes. Springer (2011)
12. van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: Which processes can be rediscovered? BETA Working Paper Series, WP 74. Eindhoven University of Technology, Eindhoven (2002)
13. van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: Discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128-1142 (2004)
14. Winskel, G.: Event Structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 255, pp. 325-392. Springer, Heidelberg (1987)
15. Winskel, G.: An Introduction to Event Structures. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol. 354, pp. 364-397. Springer, Heidelberg (1989)