APN 90 Proceedings on Advances in Petri nets 1990
Understanding Quality in Conceptual Modeling
IEEE Software
The program structure tree: computing control regions in linear time
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Reduction and synthesis of live and bounded free choice Petri nets
Information and Computation
Free choice Petri nets
The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
Requirements engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
Software engineering (6th ed.)
Software engineering (6th ed.)
Software Engineering Economics
Software Engineering Economics
Sap R/3 Process Oriented Implementation
Sap R/3 Process Oriented Implementation
Verification and Validation of Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Relaxed Soundness of Business Processes
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Guidelines of Business Process Modeling
Business Process Management, Models, Techniques, and Empirical Studies
Research Commentary: Information Systems and Conceptual Modeling--A Research Agenda
Information Systems Research
Consistency in model integration
Data & Knowledge Engineering - Special issue: Business process management
On the semantics of EPCs: resolving the vicious circle
Data & Knowledge Engineering - Special issue: Business process management
Data & Knowledge Engineering - Special issue: Quality in conceptual modeling
Information modeling: the process and the required competencies of its participants
Data & Knowledge Engineering - Special issue: Application of natural language to information systems (NLDB04)
Process models representing knowledge for action: a revised quality framework
European Journal of Information Systems - Special issue: Action in language, organisations and information systems
How do practitioners use conceptual modeling in practice?
Data & Knowledge Engineering - Special issue: ER 2004
Verification and validation of simulation models
WSC '05 Proceedings of the 37th conference on Winter simulation
Geschäftsprozessanalyse: Ereignisgesteuerte Prozessketten und objektorientierte Geschäftsprozessmodellierung für Betriebswirtschaftliche Standardsoftware
What business process modelers can learn from programmers
Science of Computer Programming
Communication support for systems engineering - process modelling and animation with APRIL
Journal of Systems and Software
Getting Rid of the OR-Join in Business Process Models
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Detection and prediction of errors in EPCs of the SAP reference model
Data & Knowledge Engineering
Business Process Management: Concepts, Languages, Architectures
Business Process Management: Concepts, Languages, Architectures
Translating unstructured workflow processes to readable BPEL: Theory and implementation
Information and Software Technology
Compiling business processes: untangling unstructured loops in irreducible flow graphs
International Journal of Web and Grid Services
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Woflan 2.0: a Petri-net-based workflow diagnosis tool
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Formalization and verification of EPCs with OR-joins based on state and context
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Understanding the occurrence of errors in process models based on metrics
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
What makes process models understandable?
BPM'07 Proceedings of the 5th international conference on Business process management
Faulty EPCs in the SAP reference model
BPM'06 Proceedings of the 4th international conference on Business Process Management
On the suitability of correctness criteria for business process models
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Verification of SAP reference models
BPM'05 Proceedings of the 3rd international conference on Business Process Management
A fundamental view on the process of conceptual modeling
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Instantaneous Soundness Checking of Industrial Business Process Models
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Symbolic execution of acyclic workflow graphs
BPM'10 Proceedings of the 8th international conference on Business process management
Analysis on demand: Instantaneous soundness checking of industrial business process models
Data & Knowledge Engineering
Syntax highlighting in business process models
Decision Support Systems
Action patterns in business process model repositories
Computers in Industry
Journal of Systems and Software
Thresholds for error probability measures of business process models
Journal of Systems and Software
On the refactoring of activity labels in business process models
Information Systems
A declarative framework for work process configuration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Formal workflow design analytics using data flow modeling
Decision Support Systems
Analyzing business process architectures
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Detection of naming convention violations in process models for different languages
Decision Support Systems
Hi-index | 0.00 |
Despite the large body of knowledge on formal analysis techniques for process models, in particular Petri nets, there has been a notable gap of empirical research into verification. In this paper we compare the few studies that report results from applying verification techniques to real-world process model collections. For this comparison we are particularly interested in the different approaches, their computational performance, and the number of errors found. Our comparison reveals that most of the samples have error rates of 10% to 20%. Some of the studies have established a connection between error probability and process model metrics, as well as between model understanding and both metrics and modeling competence of the model reader. Based on these results, we discuss implications and directions for future research.