Verifying Timed BPMN Processes Using Maude

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-59746-1_12
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Computing the Parallelism Degree of Timed BPMN Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Verifying Timed Behavior Automata With Input/Output Critical Races

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Reliability of IoT-Aware BPMN Healthcare Processes

Advances in Medical Technologies and Clinical Practice
2017English

Verifying Complex Interaction Between Hardware Processes

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2009English

Maude E. Abbott

Zeitschrift fur Herz-, Thorax- und Gefasschirurgie
Respiratory MedicinePulmonaryCardiovascular MedicineSurgeryCardiology
2019English

Toward a Time-Centric Modeling of Business Processes in BPMN 2.0

2013English

Modeling Service Choreographies Using BPMN and BPEL4Chor

Notes on Numerical Fluid Mechanics and Multidisciplinary Design
Transfer ProcessesFluid Flow
2008English

Automated Resource Assignment in BPMN Models Using RACI Matrices

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Verifying Spatial Queries Using Voronoi Neighbors

2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy