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: Interorganizational workflows represent a special type of workflows that involve more than one organization. In this paper, an interorganizational workflow will be modelled using a special class of nested Petri nets, dynamic interorganizational workflow nets (DIWF-nets). DIWF-nets can model interorganizational workflows in which some of the local workflows can be removed, during the execution of the workflow, due to exceptional situations. Our approach permits a clear distinction between the component workflows and the communication structure. The paper defines a notion of behavioural correctness (soundness) and proves this property is decidable for DIWF-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 3.15.4.52

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. (2009). A Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows with Dynamic Structure. In Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2009) - MSVVEIS; ISBN 978-989-8111-90-6, SciTePress, pages 23-32. DOI: 10.5220/0002200700230032

@conference{msvveis09,
author={Oana {Otilia Prisecaru}.},
title={A Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows with Dynamic Structure},
booktitle={Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2009) - MSVVEIS},
year={2009},
pages={23-32},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002200700230032},
isbn={978-989-8111-90-6},
}

TY - CONF

JO - Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2009) - MSVVEIS
TI - A Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows with Dynamic Structure
SN - 978-989-8111-90-6
AU - Otilia Prisecaru, O.
PY - 2009
SP - 23
EP - 32
DO - 10.5220/0002200700230032
PB - SciTePress