A Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows with Dynamic Structure

Oana Otilia Prisecaru

Research.Publish.Connect.

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

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 - Volume 0ICEIS, 23-32, 2009 , Milan, Italy

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

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

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

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