Soundness and separability of workflow nets in the stepwise refinement approach

Authors:
Kees Van Hee;Natalia Sidorova;Marc Voorhoeve
Affiliations:
Eindhoven University of Technology, Department of Mathematics and Computer Science, Eindhoven, The Netherlands;Eindhoven University of Technology, Department of Mathematics and Computer Science, Eindhoven, The Netherlands;Eindhoven University of Technology, Department of Mathematics and Computer Science, Eindhoven, The Netherlands
Venue:
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Year:
2003

Citing 8
Cited 38

Distributed databases principles and systems

Distributed databases principles and systems
Operational and algebraic semantics of concurrent processes

Handbook of theoretical computer science (vol. B)
Free choice Petri nets

Free choice Petri nets
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Relaxed Soundness of Business Processes

CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Verification of Workflow Nets

ICATPN '97 Proceedings of the 18th 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
Inter-operability of Workflow Applications: Local Criteria for Global Soundness

Business Process Management, Models, Techniques, and Empirical Studies

Structural soundness of workflow nets is decidable

Information Processing Letters
Resource-Constrained Workflow Nets

Fundamenta Informaticae
Matching observed behavior and modeled behavior: an approach based on petri nets and integer programming

Decision Support Systems
Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants

Computers in Industry
Detection and prediction of errors in EPCs of the SAP reference model

Data & Knowledge Engineering
History-based joins: Semantics, soundness and implementation

Data & Knowledge Engineering
Translating unstructured workflow processes to readable BPEL: Theory and implementation

Information and Software Technology
Making Petri Nets Safe and Free of Internal Transitions

Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Discovery, Verification and Conformance of Workflows with Cancellation

ICGT '08 Proceedings of the 4th international conference on Graph Transformations
On the relationship between workflow models and document types

Information Systems
Complexity metrics for Workflow nets

Information and Software Technology
Compositional Service Trees

PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Structural soundness of workflow nets is decidable

Information Processing Letters
Separability in conflict-free petri nets

PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Verifying generalized soundness of workflow nets

PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Refinement of Petri nets in workflow integration

CSCWD'06 Proceedings of the 10th international conference on Computer supported cooperative work in design III
Construction of asynchronous communicating systems: weak termination guaranteed!

SC'10 Proceedings of the 9th international conference on Software composition
Business process management with unified modeling language

DNCOCO'06 Proceedings of the 5th WSEAS international conference on Data networks, communications and computers
Soundness-preserving refinements of service compositions

WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Refinement of synchronizable places with multi-workflow nets: weak termination preserved

PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
On the application of WF-Nets for checking hybrid IDEF0-IDEF3 business process models

ADVIS'04 Proceedings of the Third international conference on Advances in Information Systems
Let’s go all the way: from requirements via colored workflow nets to a BPEL implementation of a new bank system

OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Workflow model compositions preserving relaxed soundness

BPM'06 Proceedings of the 4th international conference on Business Process Management
History-based joins: semantics, soundness and implementation

BPM'06 Proceedings of the 4th international conference on Business Process Management
Analysis of properties of petri synthesis net

TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Nested nets for adaptive systems

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Verification of EPCs: using reduction rules and petri nets

CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Genetic process mining

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Soundness of resource-constrained workflow nets

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Separability in persistent petri nets

PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Separability in Persistent Petri Nets

Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Checking soundness of business processes compositionally using symbolic observation graphs

FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Making Petri Nets Safe and Free of Internal Transitions

Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Designing weakly terminating ROS systems

PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Resource-Constrained Workflow Nets

Fundamenta Informaticae
Assigning Ontological Meaning to Workflow Nets

Journal of Database Management
On generating *-sound nets with substitution

Information Systems
Refinement of Synchronizable Places with Multi-workflow Nets

Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2011

Quantified Score

Hi-index	0.00

Visualization

Abstract

Workflow nets are recognized as a modelling paradigm for the business process modelling. We introduce and investigate several correctness notions for workflow nets, ranging from proper termination of cases to their mutual independence. We define refinement operators for nets and investigate preservation of correctness through these operators. This gives rise to a class of nets that are provably correct.