Statecharts: A visual formalism for complex systems
Science of Computer Programming
Process algebra
Free choice Petri nets
Dynamic change within workflow systems
COCS '95 Proceedings of conference on Organizational computing systems
Commonalities in reengineered business processes: models and issues
Management Science
Workflow handbook 1997
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Woflan: a Petri-net-based workflow analyzer
Systems Analysis Modelling Simulation
Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
Journal of the ACM (JACM)
Verification of workflow task structures: A petri-net-based approach
Information Systems
Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Introduction to the Special Issue on Adaptive WorkflowSystems
Computer Supported Cooperative Work
Business Process Management, Models, Techniques, and Empirical Studies
Business Process Management, Models, Techniques, and Empirical Studies
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
Improving Flexibility of Workflow Management Systems
Business Process Management, Models, Techniques, and Empirical Studies
Inter-operability of Workflow Applications: Local Criteria for Global Soundness
Business Process Management, Models, Techniques, and Empirical Studies
Coordination technology and Petri nets
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
A framework for virtual enterprise operation management
Computers in Industry
Best practices in business process redesign: validation of a redesign framework
Computers in Industry
Process modeling for simulation
Computers in Industry
Survey paper: A survey on the recent research literature on ERP systems
Computers in Industry - Special issue: Current trends in ERP implementations and utilisation
A timed colored Petri nets modeling for dynamic workflow in product development process
Computers in Industry
Terminability and compensatibility of cycles in business processes with a process-oriented trigger
Data & Knowledge Engineering
The development process of the UN/CEFACT modeling methodology
Proceedings of the 10th international conference on Electronic commerce
Process modeling for simulation
Computers in Industry
Survey paper: A survey on the recent research literature on ERP systems
Computers in Industry - Special issue: Current trends in ERP implementations and utilisation
Business process management: a survey
BPM'03 Proceedings of the 2003 international conference on Business process management
Context-aware workflow management
ICWE'07 Proceedings of the 7th international conference on Web engineering
Checking order constraints in collaborative workflow with invariant analysis
WISS'10 Proceedings of the 2010 international conference on Web information systems engineering
An architecture for collaborative scenarios applying a common BPMN-Repository
DAIS'05 Proceedings of the 5th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Modeling and assessment of production printing workflows using petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Journal of Database Management
On the exploitation of process mining for security audits: the process discovery case
Proceedings of the 28th Annual ACM Symposium on Applied Computing
| Hi-index | 0.00 |
Information technology has changed business processes within and between enterprises. More and more work processes are being conducted under the supervision of information systems that are driven by process models. Examples are workflow management systems such as Staffware, enterprise resource planning systems such as SAP and Baan, but also include many domain specific systems. It is hard to imagine enterprise information systems that are unaware of the processes taking place. Although the topic of business process management using information technology has been addressed by consultants and software developers in depth, a more fundamental approach has been missing. Only since the nineties, researchers started to work on the foundations of business process management systems. This paper addresses some of the scientific challenges in business process management. In the spirit of Hilbert's problems, 10 interesting problems for people working on Petri-net theory are posed.