loading
Papers Papers/2020

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.236.232.99

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 - MSVVEIS, (ICEIS 2009) ISBN 978-989-8111-90-6, 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 - MSVVEIS, (ICEIS 2009)},
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 - MSVVEIS, (ICEIS 2009)
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

0123movie.net