On the public citation graph

Business process verification – finally a reality!

https://doi.org/10.1108/14637150910931479
0 signed · 169 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/smr.517openalex-snapshot
Business process modeling with continuous validation
inferredcites →https://doi.org/10.1007/11431855_26openalex-snapshot
Verification of EPCs: Using Reduction Rules and Petri Nets
inferredcites →https://doi.org/10.1007/11494744_24openalex-snapshot
Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets
inferredcites →https://doi.org/10.1007/11562948_9openalex-snapshot
Decomposition-Based Verification of Cyclic Workflows
inferredcites →https://doi.org/10.1007/11841760_38openalex-snapshot
Faulty EPCs in the SAP Reference Model
inferredcites →https://doi.org/10.1007/3-540-45341-5_11openalex-snapshot
Relaxed Soundness of Business Processes
inferredcites →https://doi.org/10.1007/3-540-45594-9_11openalex-snapshot
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
inferredcites →https://doi.org/10.1007/3-540-45594-9_15openalex-snapshot
Inter-operability of Workflow Applications: Local Criteria for Global Soundness
inferredcites →https://doi.org/10.1007/3-540-48523-6_27openalex-snapshot
Boundedness of Reset P/T Nets
inferredcites →https://doi.org/10.1007/3-540-48738-7_15openalex-snapshot
Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models
inferredcites →https://doi.org/10.1007/3-540-63139-9_48openalex-snapshot
Verification of workflow nets
inferredcites →https://doi.org/10.1007/978-3-540-27793-4_12openalex-snapshot
Generalised Soundness of Workflow Nets Is Decidable
inferredcites →https://doi.org/10.1007/978-3-540-47919-2_13openalex-snapshot
Transformations and Decompositions of Nets
inferredcites →https://doi.org/10.1007/bf03036471openalex-snapshot
Reduction rules for time Petri nets
inferredcites →https://doi.org/10.1007/bfb0055044openalex-snapshot
Reset nets between decidability and undecidability
inferredcites →https://doi.org/10.1016/j.datak.2011.01.004openalex-snapshot
Analysis on demand: Instantaneous soundness checking of industrial business process models
inferredcites →https://doi.org/10.1016/j.is.2004.02.002openalex-snapshot
YAWL: yet another workflow language
inferredcites →https://doi.org/10.1016/j.jcss.2009.06.003openalex-snapshot
Reduction rules for reset/inhibitor nets
inferredcites →https://doi.org/10.1016/s0304-3975(00)00102-xopenalex-snapshot
Well-structured transition systems everywhere!
inferredcites →https://doi.org/10.1017/cbo9780511526558openalex-snapshot
Free Choice Petri Nets
inferredcites →https://doi.org/10.1023/a:1022883727209openalex-snapshot
Workflow Patterns
inferredcites →https://doi.org/10.1023/b:item.0000031583.16306.0fopenalex-snapshot
Applying Propositional Logic to Workflow Verification
inferredcites →https://doi.org/10.1080/10580530.2010.514164openalex-snapshot
Business Processes Verification for e-Government Service Delivery
inferredcites →https://doi.org/10.1093/comjnl/44.4.246openalex-snapshot
Diagnosing Workflow Processes using Woflan
inferredcites →https://doi.org/10.1093/comjnl/bxl074openalex-snapshot
Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants
inferredcites →https://doi.org/10.1109/5.24143openalex-snapshot
Petri nets: Properties, analysis and applications
inferredcites →https://doi.org/10.1142/s0218126698000043openalex-snapshot
THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT
inferredcites →https://doi.org/10.1142/s0218843009002063openalex-snapshot
TOWARDS AGENT-BASED MODELING AND VERIFICATION OF COLLABORATIVE BUSINESS PROCESSES: AN APPROACH CENTERED ON INTERACTIONS AND BEHAVIORS
inferredcites →https://doi.org/10.4018/jismd.2010040103openalex-snapshot
On the Usage of Labels and Icons in Business Process Modeling
inferredcites →https://doi.org/10.6100/ir577287openalex-snapshot
Verification of WF-nets

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.2070759openalex-extracted
Pattern Directed Auditing of Business Procedures: A Logic Programming, Model Checking Approach
inferred← citeshttps://doi.org/10.1002/j.1681-4835.2016.tb00554.xopenalex-snapshot
A Fresh Approach in the Optimization of Government Processes using Algorithms: A Case Study of Retirement Procedure in Cameroon
inferred← citeshttps://doi.org/10.1002/smr.517openalex-snapshot
Business process modeling with continuous validation
inferred← citeshttps://doi.org/10.1007/978-3-030-04771-9_24openalex-snapshot
Computing the Parallelism Degree of Timed BPMN Processes
inferred← citeshttps://doi.org/10.1007/978-3-030-28464-0_23openalex-snapshot
Verifying for Compliance to Data Constraints in Collaborative Business Processes
inferred← citeshttps://doi.org/10.1007/978-3-030-62412-5_18openalex-snapshot
Verification and Compliance in Collaborative Processes
inferred← citeshttps://doi.org/10.1007/978-3-031-75107-3_14openalex-snapshot
Model-Driven Development of Multi-Robot Systems: From BPMN Models to X-Klaim Code
inferred← citeshttps://doi.org/10.1007/978-3-032-37777-7_11openalex-snapshot
Towards an OR-Join Semantics that Meets Expectations
inferred← citeshttps://doi.org/10.1007/978-3-319-19237-6_14openalex-snapshot
Identifying Quality Issues in BPMN Models: an Exploratory Study
inferred← citeshttps://doi.org/10.1007/978-3-319-25897-3_9openalex-snapshot
Consistently Formalizing a Business Process and its Properties for Verification: A Case Study
inferred← citeshttps://doi.org/10.1007/978-3-319-30528-8_11openalex-snapshot
Evaluating Efficiency of ArchiMate Business Processes Verification with NuSMV
inferred← citeshttps://doi.org/10.1007/978-3-319-31232-3_55openalex-snapshot
Verification of Business Processes Against Business Rules Using Object Life Cycles
inferred← citeshttps://doi.org/10.1007/978-3-319-39958-4_6openalex-snapshot
Detecting Data-model-oriented Anomalies in Parallel Business Process
inferred← citeshttps://doi.org/10.1007/978-3-319-66655-6_5openalex-snapshot
Formalized Integration of Rules and Processes
inferred← citeshttps://doi.org/10.1007/978-3-319-73117-9_23openalex-snapshot
Global vs. Local Semantics of BPMN 2.0 OR-Join
inferred← citeshttps://doi.org/10.1007/978-3-319-74030-0_59openalex-snapshot
Visual Analytics for Soundness Verification of Process Models
inferred← citeshttps://doi.org/10.1007/978-3-319-92901-9_11openalex-snapshot
Checking Business Process Correctness in Apromore
inferred← citeshttps://doi.org/10.1007/978-3-319-99840-4_5openalex-snapshot
Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT
inferred← citeshttps://doi.org/10.1007/978-3-540-68644-6_4openalex-snapshot
Information Gathering for Semantic Service Discovery and Composition in Business Process Modeling
inferred← citeshttps://doi.org/10.1007/978-3-642-00328-8_2openalex-snapshot
Detecting Regulatory Compliance for Business Process Models through Semantic Annotations
inferred← citeshttps://doi.org/10.1007/978-3-642-00328-8_21openalex-snapshot
Business Process Modelling with Continuous Validation
inferred← citeshttps://doi.org/10.1007/978-3-642-00328-8_46openalex-snapshot
Reasoning about Repairability of Workflows at Design Time
inferred← citeshttps://doi.org/10.1007/978-3-642-00416-2_18openalex-snapshot
Workflow management: an overview
inferred← citeshttps://doi.org/10.1007/978-3-642-01915-9_3openalex-snapshot
A Heuristic Method for Business Process Model Evaluation
inferred← citeshttps://doi.org/10.1007/978-3-642-03848-8_19openalex-snapshot
Instantaneous Soundness Checking of Industrial Business Process Models
inferred← citeshttps://doi.org/10.1007/978-3-642-04840-1_34openalex-snapshot
Business Process Modeling: Perceived Benefits
inferred← citeshttps://doi.org/10.1007/978-3-642-04856-2_3openalex-snapshot
Soundness of Workflow Nets with Reset Arcs
inferred← citeshttps://doi.org/10.1007/978-3-642-12186-9_47openalex-snapshot
A Comparison of Soundness Results Obtained by Different Approaches
inferred← citeshttps://doi.org/10.1007/978-3-642-14799-9_36openalex-snapshot
Designing Quality Business Processes for E-Government Digital Services
inferred← citeshttps://doi.org/10.1007/978-3-642-15618-2_19openalex-snapshot
Symbolic Execution of Acyclic Workflow Graphs
inferred← citeshttps://doi.org/10.1007/978-3-642-21863-7_1openalex-snapshot
Probabilistic Model Checking of Constraints in a Supply Chain Business Process
inferred← citeshttps://doi.org/10.1007/978-3-642-21863-7_5openalex-snapshot
Framework for Business Process Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-23059-2_14openalex-snapshot
Automated Error Correction of Business Process Models
inferred← citeshttps://doi.org/10.1007/978-3-642-25370-6_3openalex-snapshot
Analyzing Separation of Duties Constraints with a Probabilistic Model Checker
inferred← citeshttps://doi.org/10.1007/978-3-642-30409-5openalex-snapshot
Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies
inferred← citeshttps://doi.org/10.1007/978-3-642-30409-5_10openalex-snapshot
Business Process Compliance
inferred← citeshttps://doi.org/10.1007/978-3-642-30409-5_11openalex-snapshot
Concretizing Loosely Specified Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-30409-5_12openalex-snapshot
Constraint-Based Process Models
inferred← citeshttps://doi.org/10.1007/978-3-642-30409-5_13openalex-snapshot
User- and Data-Driven Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-30409-5_14openalex-snapshot
A Framework for Object-Aware Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-30409-5_15openalex-snapshot
AristaFlow BPM Suite
inferred← citeshttps://doi.org/10.1007/978-3-642-30409-5_16openalex-snapshot
Alaska Simulator Toolset
inferred← citeshttps://doi.org/10.1007/978-3-642-30409-5_17openalex-snapshot
Existing Tool Support for Flexible Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-30409-5_2openalex-snapshot
Process-Aware Information Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-30409-5_3openalex-snapshot
Flexibility Issues in Process-Aware Information Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-30409-5_4openalex-snapshot
Process Modeling and Flexibility-by-Design
inferred← citeshttps://doi.org/10.1007/978-3-642-30409-5_5openalex-snapshot
Process Configuration Support
inferred← citeshttps://doi.org/10.1007/978-3-642-30409-5_7openalex-snapshot
Ad hoc Changes of Process Instances
inferred← citeshttps://doi.org/10.1007/978-3-642-30409-5_8openalex-snapshot
Monitoring and Mining Flexible Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-30409-5_9openalex-snapshot
Process Evolution and Instance Migration
inferred← citeshttps://doi.org/10.1007/978-3-642-32885-5_12openalex-snapshot
The Difficulty of Replacing an Inclusive OR-Join
inferred← citeshttps://doi.org/10.1007/978-3-642-33068-1_13openalex-snapshot
Control-Flow Pattern Based Transformation from UML Activity Diagram to YAWL
inferred← citeshttps://doi.org/10.1007/978-3-642-45100-3_21openalex-snapshot
Workflow Management
inferred← citeshttps://doi.org/10.1007/978-3-642-54897-0_2openalex-snapshot
Artificial Intelligence for Knowledge Management with BPMN and Rules
inferred← citeshttps://doi.org/10.1007/s00607-015-0440-2openalex-snapshot
A data-centric approach to manage business processes
inferred← citeshttps://doi.org/10.1007/s10009-025-00832-yopenalex-snapshot
Translating BPMN models into X-Klaim programs for developing multi-robot missions
inferred← citeshttps://doi.org/10.1007/s10257-014-0243-6openalex-snapshot
Graph theory and model collection management: conceptual framework and runtime analysis of selected graph algorithms
inferred← citeshttps://doi.org/10.1007/s10270-016-0563-8openalex-snapshot
How do humans inspect BPMN models: an exploratory study
inferred← citeshttps://doi.org/10.1007/s10270-020-00820-7openalex-snapshot
The RALph miner for automated discovery and verification of resource-aware process models
inferred← citeshttps://doi.org/10.1007/s10270-022-01043-8openalex-snapshot
Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application
inferred← citeshttps://doi.org/10.1007/s10270-024-01217-6openalex-snapshot
Model-based verification of data protection mechanisms in collaborative business processes
inferred← citeshttps://doi.org/10.1007/s10796-018-9826-yopenalex-snapshot
Formal Model of Business Processes Integrated with Business Rules
inferred← citeshttps://doi.org/10.1007/s42979-022-01334-3openalex-snapshot
Model-Driven Engineering of Process-Aware Information Systems
inferred← citeshttps://doi.org/10.1016/j.datak.2011.01.004openalex-snapshot
Analysis on demand: Instantaneous soundness checking of industrial business process models
inferred← citeshttps://doi.org/10.1016/j.datak.2013.04.008openalex-snapshot
Diagnosing correctness of semantic workflow models
inferred← citeshttps://doi.org/10.1016/j.datak.2014.11.003openalex-snapshot
Stepwise structural verification of cyclic workflow models with acyclic decomposition and reduction of loops
inferred← citeshttps://doi.org/10.1016/j.dss.2019.113096openalex-snapshot
Automated planning of process models: The construction of parallel splits and synchronizations
inferred← citeshttps://doi.org/10.1016/j.infsof.2012.07.002openalex-snapshot
A pattern-based approach for the verification of business process descriptions
inferred← citeshttps://doi.org/10.1016/j.infsof.2016.01.001openalex-snapshot
Specification of behavioral anti-patterns for the verification of block-structured Collaborative Business Processes
inferred← citeshttps://doi.org/10.1016/j.ins.2025.122088openalex-snapshot
Toward automated verification of timed business process models using timed-automata networks and temporal properties
inferred← citeshttps://doi.org/10.1016/j.is.2013.12.004openalex-snapshot
The relationship between workflow graphs and free-choice workflow nets
inferred← citeshttps://doi.org/10.1016/j.is.2017.01.004openalex-snapshot
Design and evaluation of virtual environments mechanisms to support remote collaboration on complex process diagrams
inferred← citeshttps://doi.org/10.1016/j.is.2021.101934openalex-snapshot
BPMN 2.0 OR-Join Semantics: Global and local characterisation
inferred← citeshttps://doi.org/10.1016/j.is.2024.102476openalex-snapshot
Soundness unknotted: An efficient soundness checking algorithm for arbitrary cyclic process models by loosening loops
inferred← citeshttps://doi.org/10.1016/j.jbi.2010.03.010openalex-snapshot
Proclets in healthcare
inferred← citeshttps://doi.org/10.1016/j.jcss.2009.06.003openalex-snapshot
Reduction rules for reset/inhibitor nets
inferred← citeshttps://doi.org/10.1016/j.jenvman.2019.07.018openalex-snapshot
Key aspects of building retrofitting: Strategizing sustainable cities
inferred← citeshttps://doi.org/10.1016/j.jlap.2010.01.001openalex-snapshot
On the potential advantages of exploiting behavioural information for contract-based service discovery and composition
inferred← citeshttps://doi.org/10.1016/j.scico.2018.05.008openalex-snapshot
A formal approach to modeling and verification of business process collaborations
inferred← citeshttps://doi.org/10.1016/j.scico.2018.08.007openalex-snapshot
Stochastic analysis of BPMN with time in rewriting logic
inferred← citeshttps://doi.org/10.1051/ita/2012002openalex-snapshot
Formal Methods to Improve Public Administration Business Processes
inferred← citeshttps://doi.org/10.1080/10580530.2010.514164openalex-snapshot
Business Processes Verification for e-Government Service Delivery
inferred← citeshttps://doi.org/10.1080/12460125.2020.1800976openalex-snapshot
Adapting process models via an automated planning approach
inferred← citeshttps://doi.org/10.1108/14637151011076485openalex-snapshot
A heuristic method for detecting problems in business process models
inferred← citeshttps://doi.org/10.1108/14637151111136414openalex-snapshot
Using virtual worlds for collaborative business process modeling
inferred← citeshttps://doi.org/10.1108/14637151311294886openalex-snapshot
Valuation of manual and automated process redesign from a business perspective
inferred← citeshttps://doi.org/10.1108/bpmj-11-2022-0557openalex-snapshot
Assessing business process models: a literature review on techniques for BPMN testing and formal verification
inferred← citeshttps://doi.org/10.1108/bpmj-jun-2012-0064openalex-snapshot
Business process management: a systemic approach?
inferred← citeshttps://doi.org/10.1108/jm2-03-2020-0077openalex-snapshot
Process mining approach to formal business process modelling and verification: a case study
inferred← citeshttps://doi.org/10.1109/ase.2017.8115635openalex-snapshot
BProVe: A formal verification framework for business process models
inferred← citeshttps://doi.org/10.1109/ase.2017.8115708openalex-snapshot
BProVe: Tool support for business process verification
inferred← citeshttps://doi.org/10.1109/cist.2016.7805029openalex-snapshot
A probabilistic method for business process verification: Reachability, Liveness and deadlock detection
inferred← citeshttps://doi.org/10.1109/coginf.2009.5250717openalex-snapshot
Reducing the cognitive complexity of business process models
inferred← citeshttps://doi.org/10.1109/edocw.2019.00021openalex-snapshot
Verifying Petri Net-Based Process Models using Automated Planning
inferred← citeshttps://doi.org/10.1109/icct.2013.6820479openalex-snapshot
An incidence matrix-based verification method for business process model in inter-domain network management system
inferred← citeshttps://doi.org/10.1109/icws.2014.76openalex-snapshot
Discovering Diversity Corrections for Incompatible Web Services
inferred← citeshttps://doi.org/10.1109/jcai.2009.122openalex-snapshot
Verifying the Consistency between Business Process Model and Data Model
inferred← citeshttps://doi.org/10.1109/pdcat.2017.00075openalex-snapshot
Models and Run-Time Systems for Data Intensive Workflow Applications
inferred← citeshttps://doi.org/10.1109/sbes.2010.29openalex-snapshot
Activity Diagram Inspection on Requirements Specification
inferred← citeshttps://doi.org/10.1109/sehc.2012.6227002openalex-snapshot
A timed model for healthcare workflows based on CSP
inferred← citeshttps://doi.org/10.1109/soca.2015.14openalex-snapshot
Design-Time Compliance of Service Compositions in Dynamic Service Environments
inferred← citeshttps://doi.org/10.1109/splc.2011.41openalex-snapshot
A Toolset for Feature-Based Configuration Workflows
inferred← citeshttps://doi.org/10.1109/tlt.2020.2983916openalex-snapshot
Supporting the Process of Learning and Teaching Process Models
inferred← citeshttps://doi.org/10.1109/tsc.2019.2962666openalex-snapshot
Runtime Verification of Business Cloud Workflow Temporal Conformance
inferred← citeshttps://doi.org/10.1142/s0218843009002063openalex-snapshot
TOWARDS AGENT-BASED MODELING AND VERIFICATION OF COLLABORATIVE BUSINESS PROCESSES: AN APPROACH CENTERED ON INTERACTIONS AND BEHAVIORS
inferred← citeshttps://doi.org/10.1142/s0218843011002237openalex-snapshot
SPIℂA'S MULTI-PARTY NEGOTIATION PROTOCOL: IMPLEMENTATION USING YAWL
inferred← citeshttps://doi.org/10.1142/s0218843016500118openalex-snapshot
QABPEM: Quality-Aware Business Process Engineering Method
inferred← citeshttps://doi.org/10.1145/1805286.1805290openalex-snapshot
On Detecting Data Flow Errors in Workflows
inferred← citeshttps://doi.org/10.1145/2664591.2664603openalex-snapshot
Composite, Real-time Validation for Business Process Modelling
inferred← citeshttps://doi.org/10.1145/3591569.3591572openalex-snapshot
VeBPRu: A Toolchain for Formally Verifying Business Processes and Business Rules
inferred← citeshttps://doi.org/10.1145/3638243openalex-snapshot
Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State of the Practice
inferred← citeshttps://doi.org/10.1155/2013/507984openalex-snapshot
Business Process Management: A Comprehensive Survey
inferred← citeshttps://doi.org/10.11606/d.96.2013.tde-05122013-172452openalex-snapshot
Método de diagnóstico de processos para viabilizar a promoção de Business Process Management em uma Instituição de Ensino Superior
inferred← citeshttps://doi.org/10.15439/2015f44openalex-snapshot
Efficiency of formal verification of ArchiMate business processes with NuSMV model checker
inferred← citeshttps://doi.org/10.1590/s0103-65132011005000050openalex-snapshot
Estudo sobre a aplicação do método de avaliação do modelo de processos de negócio do EKD
inferred← citeshttps://doi.org/10.20381/ruor-3927openalex-snapshot
A Quality Assurance Framework for Business Process Management
inferred← citeshttps://doi.org/10.22146/jkesvo.61269openalex-snapshot
Proses Bisnis Layanan Medical Checkup (MCU) Menggunakan Business Process Model and Notation (BPMN)
inferred← citeshttps://doi.org/10.24251/hicss.2017.586openalex-snapshot
A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification
inferred← citeshttps://doi.org/10.2507/ijsimm23-1-657openalex-snapshot
Simulations to Predict Process Model Alignment with Standard Operating Procedure
inferred← citeshttps://doi.org/10.31577/cai_2021_5_1080openalex-snapshot
Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS
inferred← citeshttps://doi.org/10.3390/biomedinformatics2030023openalex-snapshot
CGK4PM: Towards a Methodology for the Systematic Generation of Clinical Guideline Process Models and the Utilization of Conformance Checking
inferred← citeshttps://doi.org/10.3390/info15120778openalex-snapshot
Formal Verification of Business Constraints in Workflow-Based Applications
inferred← citeshttps://doi.org/10.3724/sp.j.1016.2010.01349openalex-snapshot
A Data Model Anomalies Detection Method for Business Process Model
inferred← citeshttps://doi.org/10.3846/2017-047-mopenalex-snapshot
Research on Business Process Prediction and Simulation Using Event Log Analysis Methods
inferred← citeshttps://doi.org/10.3846/20294913.2012.740517openalex-snapshot
VERIFICATION OF BUSINESS PROCESS WORKFLOWS
inferred← citeshttps://doi.org/10.3923/itj.2013.1468.1479openalex-snapshot
A Control-flow Pattern based Horizontal Business Process Model Transformation Approach
inferred← citeshttps://doi.org/10.4018/978-1-60566-288-6.ch020openalex-snapshot
The Journey to Business Process Compliance
inferred← citeshttps://doi.org/10.4018/jismd.2010040103openalex-snapshot
On the Usage of Labels and Icons in Business Process Modeling
inferred← citeshttps://doi.org/10.5220/0005781200001259openalex-snapshot
Design Time Validation for the Correct Execution of BPMN Collaborations
inferred← citeshttps://doi.org/10.52465/joscex.v3i2.84openalex-snapshot
Business process modeling at steak restaurant using business process model and notation
inferred← citeshttps://doi.org/10.5555/2431518.2431602openalex-snapshot
WorMS- a framework to support workflows in M&S
inferred← citeshttps://doi.org/10.5753/sbqs.2011.15391openalex-snapshot
Técnica de Inspeção Baseada em Checklist para Identificação de Defeitos em Diagramas de Atividades
inferred← citeshttps://doi.org/10.5821/dissertation-2117-363067openalex-snapshot
Bridging the gap between textual and formal business process representations
inferred← citeshttps://doi.org/10.70675/480bea19zd624z4bebza5b1z13a89c49f814openalex-snapshot
Cost optimization of business processes based on time constraints on cloud resources
inferred← citeshttps://doi.org/10.70675/9cc0ad79zf365z4359zb8bdzfd421b1e484fopenalex-snapshot
Formal verification of business process configuration in the Cloud
inferred← citeshttps://doi.org/10.70675/e2f846eezbcafz4543za309z6a60439b9888openalex-snapshot
Abstraction and modular verification of inter-enterprise business processes
inferred← citeshttps://doi.org/10.7250/csimq.2021-27.01openalex-snapshot
Control-Flow-Based Methods to Support the Development of Sound Workflows
inferred← citeshttps://doi.org/10.7763/ijimt.2015.v6.606openalex-snapshot
Opus Framework: Research and Evaluation
inferred← citeshttps://doi.org/10.9770/jesi.2018.6.1(15)openalex-snapshot
Structured literature review on business process performance analysis and evaluation
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.