loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: Oana Otilia Prisecaru

Affiliation: Faculty of Computer Science, ”Al. I. Cuza” University, Romania

Abstract: A workflow is the automation of a business process that takes place inside one organization. While most of the formal approaches to workflow modeling consider only the process perspective, we propose a Petri net model which integrates both the process and the resource perspective. The paper introduces a special class of nested Petri nets, resource workflow nets (RWFN-nets), which unifies the two perspectives into a single model. Unlike other models, RWFN-nets permit a clear distinction between the perspectives, modeling efficiently their interaction, and ensure the flexibility of the system. The paper also defines a notion of behavioral correctness for RWFN-nets, soundness, and proves this property is decidable.

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 44.211.117.101

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. (2007). Resource Workflow Nets: A Petri Net Formalism for Workflow Modelling. In Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2007) - MSVVEIS; ISBN 978-972-8865-95-5, SciTePress, pages 11-20. DOI: 10.5220/0002421000110020

@conference{msvveis07,
author={Oana {Otilia Prisecaru}.},
title={Resource Workflow Nets: A Petri Net Formalism for Workflow Modelling},
booktitle={Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2007) - MSVVEIS},
year={2007},
pages={11-20},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002421000110020},
isbn={978-972-8865-95-5},
}

TY - CONF

JO - Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2007) - MSVVEIS
TI - Resource Workflow Nets: A Petri Net Formalism for Workflow Modelling
SN - 978-972-8865-95-5
AU - Otilia Prisecaru, O.
PY - 2007
SP - 11
EP - 20
DO - 10.5220/0002421000110020
PB - SciTePress