State Number Calculation Problem of Workflow Nets

IEICE Transactions on Information and Systems - Japan
doi 10.1587/transinf.2014fop0009
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electronics, Information and Communications Engineers (IEICE)

Related search

Soundness of Workflow Nets: Classification, Decidability, and Analysis

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
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

Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

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

ITM Web of Conferences
2017English

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

2007English

On State-Space Compression and State Reachability Retrieval of Petri Nets

Advances in Mechanical Engineering
Mechanical Engineering
2019English

Congruent Number Problem

Pure and Applied Mathematics Quarterly
Mathematics
2005English

Eigenvalues Calculation of Orr-Sommerfeld Spectral Problem

Современные наукоемкие технологии (Modern High Technologies)
2018English

The Reachability Problem for Petri Nets Is Not Elementary

2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy