Discovery, Verification and Conformance of Workflows with Cancellation
DOI10.1007/978-3-540-87405-8_2zbMATH Open1175.68283OpenAlexW2104195719WikidataQ57005662 ScholiaQ57005662MaRDI QIDQ3540385FDOQ3540385
Authors: W. M. P. van der Aalst 
Publication date: 20 November 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-87405-8_2
Recommendations
- Soundness-preserving reduction rules for reset workflow nets
- Soundness of workflow nets with reset ARCS
- Research on workflow model based on Petri net with reset arcs
- Discovery of cancellation regions within process mining techniques
- Soundness of workflow nets: classification, decidability, and analysis
Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Well-structured transition systems everywhere!
- Soundness of workflow nets: classification, decidability, and analysis
- Title not available (Why is that?)
- Title not available (Why is that?)
- Fundamental Approaches to Software Engineering
- Title not available (Why is that?)
- Soundness and separability of workflow nets in the stepwise refinement approach
- Applications and Theory of Petri Nets 2004
- Reduction rules for reset/inhibitor nets
- Title not available (Why is that?)
- The synthesis problem for elementary net systems is NP-complete
- Process Discovery Using Integer Linear Programming
- Lectures on Concurrency and Petri Nets
- Deriving Petri nets from finite transition systems
- Applications and Theory of Petri Nets 2005
Cited In (7)
- Discovery of cancellation regions within process mining techniques
- Aggregating causal runs into workflow nets
- Compensation in Workflow Nets
- Soundness-preserving reduction rules for reset workflow nets
- Confusion analysis and detection for workflow nets
- Research on workflow model based on Petri net with reset arcs
- Completeness in supergravity constructions
This page was built for publication: Discovery, Verification and Conformance of Workflows with Cancellation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3540385)
