loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: Oana Otilia Prisecaru

Affiliation: ”Al. I. Cuza” University, Romania

Abstract: A workflow describes a complex process that takes place inside an organization. A workflow can be structured into several perspectives. In order to model both the process and the resouce perspective of workflows, a Petri net model based on nested Petri nets has been proposed: resource workflow nets (RWF-nets). Unlike other models, RWF-nets permit a clear distinction between the perspectives, modelling efficiently their interaction, and ensure the flexibility of the system. A case (or workflow instance) is the subject of the operations in the workflow. RWF-nets permit the handling of one case at a time. This paper extends the definition of RWF-nets in order to allow the handling of multiple cases at a time, defines a notion of behavioural correctness for RWF-nets, k-soundness, and proves the decideability of this property for a special class of RWF-nets.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 107.21.176.63

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Otilia Prisecaru, O. (2010). The Analysis of Resource Constrained Workflows using Petri Nets. In Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2010) - MSVVEIS; ISBN 978-989-8425-12-6, SciTePress, pages 50-59. DOI: 10.5220/0003014900500059

@conference{msvveis10,
author={Oana {Otilia Prisecaru}.},
title={The Analysis of Resource Constrained Workflows using Petri Nets},
booktitle={Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2010) - MSVVEIS},
year={2010},
pages={50-59},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003014900500059},
isbn={978-989-8425-12-6},
}

TY - CONF

JO - Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2010) - MSVVEIS
TI - The Analysis of Resource Constrained Workflows using Petri Nets
SN - 978-989-8425-12-6
AU - Otilia Prisecaru, O.
PY - 2010
SP - 50
EP - 59
DO - 10.5220/0003014900500059
PB - SciTePress