From Human Knowledge to Process Models
暂无分享,去创建一个
[1] Wil vanderAalst,et al. Workflow Management: Models, Methods, and Systems , 2004 .
[2] Jörg Desel,et al. Modelling and Validation with VipTool , 2003, Business Process Management.
[3] Jörg Desel,et al. Validation of Process Models by Construction of Process Nets , 2000, Business Process Management.
[4] Jörg Desel. Process modelling using Petri nets , 2005 .
[5] Philippe Darondeau,et al. Synthesis and Control of Asynchronous and Distributed Systems , 2007, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).
[6] Andrzej Ehrenfeucht,et al. Partial (set) 2-structures , 1990, Acta Informatica.
[7] S. Ceri Ed. Methodology and Tools for Data Base Design , 1983 .
[8] Jörg Desel,et al. Can I Execute My Scenario in Your Net? , 2005, ICATPN.
[9] Robin Bergenthum,et al. Process Mining Based on Regions of Languages , 2007, BPM.
[10] Jörg Desel,et al. ''What Is a Petri Net?'' , 2001, Unifying Petri Nets.
[11] Robin Bergenthum,et al. Synthesis of Petri Nets from Finite Partial Languages , 2008, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).
[12] Heinrich C. Mayr,et al. A User Centered Approach to Requirements Modeling , 2002, Modellierung.
[13] Jörg Desel,et al. Can I execute your scenario in my net , 2005 .
[14] Heinrich C. Mayr,et al. Business Process Modeling and Requirements Modeling , 2007, First International Conference on the Digital Society (ICDS'07).
[15] Mathias Weske,et al. Business Process Management: Concepts, Languages, Architectures , 2007 .
[16] Jörg Desel. Tutorium: Validierung und Verifikation von Prozessmodellen , 2002, Promise.
[17] Jörg Desel,et al. Model Validation - A Theoretical Issue? , 2002, ICATPN.
[18] Grzegorz Rozenberg,et al. Applications and Theory of Petri Nets , 1983 .
[19] Andrzej Ehrenfeucht,et al. Partial (set) 2-structures , 1990, Acta Informatica.
[20] Heinrich C. Mayr,et al. From Scenarios to KCPM Dynamic Schemas: Aspects of Automatic Mapping , 2003, NLDB.
[21] Wolfgang Reisig,et al. Petri Nets and Business Process Management , 2008 .
[22] Jörg Desel,et al. Petri-Netze in der angewandten Informatik - Einführung, Grundlagen und Perspektiven , 1996, Wirtsch..
[23] Boudewijn F. van Dongen,et al. Aggregating Causal Runs to Workflow Nets : BETA Working Paper Series , 2006 .
[24] Wolfgang Reisig,et al. A Primer in Petri Net Design , 1992, Springer Compass International.
[25] Hartmut Ehrig,et al. Unifying Petri Nets: Advances in Petri Nets , 2002 .
[26] Hongyan Ma,et al. Process-aware information systems: Bridging people and software through process technology , 2007, J. Assoc. Inf. Sci. Technol..
[27] Wolfgang Reisig,et al. The synthesis problem of Petri nets , 1993, Acta Informatica.
[28] Jörg Desel. Formaler Umgang mit semi-formalen Ablaufbeschreibungen , 1999 .
[29] Jörg Desel,et al. Process Modeling Using Petri Nets , 2005, Process-Aware Information Systems.
[30] Robin Bergenthum,et al. Can I Execute My Scenario in Your Net? VipTool Tells You! , 2006, ICATPN.
[31] Wil M. P. van der Aalst,et al. Finding Structure in Unstructured Processes: The Case for Process Mining , 2007, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).
[32] Wil M.P. van der Aalst,et al. Business Process Management: Models , 2000 .
[33] Stefano Ceri,et al. Methodology and tools for data base design , 1983 .
[34] Valeria De Antonellis,et al. Requirements Collection and Analysis , 1983, Methodology and Tools for Data Base Design.
[35] Robin Bergenthum,et al. Synthesis of Petri Nets from Infinite Partial Languages with VipTool , 2007 .