From petri nets to Guard-Stage-Milestone models

Lecture Notes in Business Information Processing

Volumn 132 LNBIP, Issue , 2013, Pages 340-351

  Popova, Viara ^a   Dumas, Marlon ^a  

^a UNIVERSITY OF TARTU   (Estonia)

Author keywords

Artifact Centric Modeling; Guard Stage Milestone; Petri Nets; Process Mining

Indexed keywords

DATA MINING; ENTERPRISE RESOURCE MANAGEMENT; LIFE CYCLE; MINING;

ARTIFACT-CENTRIC; BUSINESS ARTIFACTS; BUSINESS PROCESS; EVENT LOGS; GSM MODELS; GUARD-STAGE-MILESTONE; PETRI NET MODELS; PROCESS MINING;

PETRI NETS;

EID: 84873177206     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-36285-9_38     Document Type: Conference Paper

References (14)

1. Bose, R.P.J.C., Verbeek, H.M.W., van der Aalst, W.M.P.: Discovering Hierarchical Process Models using ProM. In: Proc. of CAiSE Forum, CEUR Workshop Proc., vol. 734, pp. 33-40 (2011)
2. Cohn, D., Hull, R.: Business artifacts: A data-centric approach to modeling business operations and processes. IEEE Data Eng. Bull. 32, 3-9 (2009)
3. Günther, C., van der Aalst, W.: Mining activity clusters from low-level event logs, BETA Working Paper Series, WP 165, TU/e (2006)
4. Hein, J.L.: Discrete Structures, Logic, and Computability. Jones and Bartlett Publishers (2010)
5. Hull, R., Damaggio, E., Fournier, F., Gupta, M., Heath III, F(T.), Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P., Vaculin, R.: Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles. In: Bravetti, M. (ed.) WS-FM 2010. LNCS, vol. 6551, pp. 1-24. Springer, Heidelberg (2011)
6. Hull, R., et al.: Business Artifacts with Guard-Stage-Milestone Lifecycles: Managing Artifact Interactions with Conditions and Events. In: DEBS 2011, pp. 51-62 (2011)
7. Johnson, R., Pearson, D., Pingali, K.: The Program Structure Tree: Computing Control Regions in Linear Time. In: Proc. of the ACM SIGPLAN 1994 Conference on Programming Language Design and Implementation, pp. 171-185. ACM (1994)
8. Murata, T.: Petri nets: Properties, Analysis and Applications. In: Proc. of the IEEE, pp. 541-580 (1989)
9. Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428-445 (2003)
10. Ouyang, C., Dumas, M., Breutel, S., ter Hofstede, A.H.M.: Translating Standard Process Models to BPEL. In: Martinez, F.H., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 417-432. Springer, Heidelberg (2006)
11. Rozinat, A., van der Aalst, W.M.P.: Decision Mining in ProM. In: Dustdar, S., Fi-adeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 420-425. Springer, Heidelberg (2006)
12. van der Aalst, W., Barthelmess, P., Ellis, C., Wainer, J.: Proclets: A Framework for Lightweight Interacting Workflow Processes. Int. J. Cooperative Inf. Syst. 10(4), 443-481 (2001)
13. Verbeek, H., Buijs, J.C., van Dongen, B.F., van der Aalst, W.M.P.: Prom: The process mining toolkit. In: Proc. of BPM Demonstration Track. CEUR Workshop Proc., vol. 615 (2010)
14. Wilson, J.: Algorithms for obtaining normal forms of logical expressions. International Journal of Computer Mathematics 27(2), 85-90 (1989)