Semantics and analysis of business process models in BPMN (original) (raw)
Related papers
Formal semantics and automated analysis of BPMN process models
2007
Formal semantics and analysis of BPMN process models
2007
BPMN Formalisation using Coloured Petri Nets
2nd Annual International Conference on Software Engineering & Applications (SEA 2011), 2011
Deterministic Petri Net Languages as Business Process Specification Language
An ontology-based evaluation of process modeling with petri nets
2007
A Petri Net Based Methodology for Business Process Modeling and Simulation
Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, 2006
A class of Petri nets for modeling and analyzing business processes
Challenges in business process management: Verification of business processes using Petri nets
Bulletin of the EATCS, 2003
Formal verification of complex business processes based on high-level Petri nets
Information Sciences, 2017
A Petri-net Model for Formal Modeling of WS-BPEL Processes
Science Park Research Organization & Counselling
On the suitability of BPMN for business process modelling
Business Process …, 2006
Business process modeling using petri nets with clocks
2001
Abstracting Common Business Rules to Petri Nets
Enterprise Information Systems 2010, 2010
Declarative Process Modeling in BPMN
Advanced Information Systems Engineering, 2015
Business process management with unified modeling language
WSEAS Transactions on Computers, 2007
Assigning ontology-based semantics to process models: the case of petri nets
2008
Transformation of BPMN models for behaviour analysis
Yaroslav Usenko, Ivo Raedts, Marija Petkovic, Jan Friso Groote
2007
Formal support of process chain networks using model-driven engineering and Petri nets
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Iceis, 2000
2008
Analysis and Design of Business Processes Using BPMN
Handbook on Business Process Management 1, 2010
Comparing and evaluating Petri net semantics for BPEL
International Journal of Business Process Integration and Management, 2009
Enterprise Information Systems II, 2001
Liveness and Reachability Analysis of BPMN Process Models
Journal of Computing and Information Technology, 2016
Mapping Business Processes Models from Petri Nets Into Event-Driven Process Chains
Towards the Verification of Business Process Modeling
2011
Discovering, Analyzing and Enhancing BPMN Models Using ProM
A Rigorous Semantics for BPMN 2.0 Process Diagrams
2014
Modeling and Validating BPMN Diagrams
… , 2009. CEC'09. IEEE Conference on, 2009
An Approach for Reducing the Gap between BPMN Models and Implementation Artifacts
Revista de Informática Teórica e Aplicada, 2010