Soundness of Workflow Nets: Classification, Decidability, and Analysis

Formal Aspects of Computing - United Kingdom
doi 10.1007/s00165-010-0161-4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Continuous Petri Nets: Expressive Power and Decidability Issues

International Journal of Foundations of Computer Science
Computer Science
2010English

Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

State Number Calculation Problem of Workflow Nets

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2015English

Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Modeling and Simulation of Extended Fuzzy Timing Workflow Nets Based on Possibility Theory

2007English

Modeling Routing Constructs to Represent Distributed Workflow Processes Using Extended Petri Nets

ITM Web of Conferences
2017English

Analysis of Cloud Workflow System

2016English

Decidability and Syntactic Control of Interference

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2008English

Complexity Analysis of Continuous Petri Nets

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy