IRMA-International.org: Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Petri Nets with Clocks for the Analytical Validation of Business Process

Petri Nets with Clocks for the Analytical Validation of Business Process
View Sample PDF
Author(s): Gabriel Vilallonga (Universidad Nacional de San Luis, Argentina), Daniel Riesco (Universidad Nacional de San Luis, Argentina), Germán Montejano (Universidad Nacional de San Luis, Argentina)and Roberto Uzal (Universidad Nacional de San Luis, Argentina)
Copyright: 2003
Pages: 15
Source title: Practicing Software Engineering in the 21st Century
Source Author(s)/Editor(s): Scott J. Lloyd (University of Rhode Island, USA)and Joan Peckham (University of Rhode Island, USA)
DOI: 10.4018/978-1-93177-750-6.ch002

Purchase

View Petri Nets with Clocks for the Analytical Validation of Business Process on the publisher's website for pricing and purchasing information.

Abstract

This chapter introduces a theoretical frame for the Process Definition (PD) validation in Workflow or in those processes with temporal restrictions. The Interface 1 of Workflow makes the PD of the Work Flow Reference Model. This interface combined with Petri Nets with Clocks (PNwC) allows the formalization and verification of systems, based on the Petri Net theory and the extension. This extension allows the specification of temporal requirements via clocks specification, using temporal invariants for the places and temporal conditions in the transitions.

Related Content

Babita Srivastava. © 2024. 21 pages.
Sakuntala Rao, Shalini Chandra, Dhrupad Mathur. © 2024. 27 pages.
Satya Sekhar Venkata Gudimetla, Naveen Tirumalaraju. © 2024. 24 pages.
Neeta Baporikar. © 2024. 23 pages.
Shankar Subramanian Subramanian, Amritha Subhayan Krishnan, Arumugam Seetharaman. © 2024. 35 pages.
Charu Banga, Farhan Ujager. © 2024. 24 pages.
Munir Ahmad. © 2024. 27 pages.
Body Bottom