Petri Nets with Clocks for the Analytical Validation of Business Process

Petri Nets with Clocks for the Analytical Validation of Business Process

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
DOI: 10.4018/978-1-93177-750-6.ch002
OnDemand PDF Download:
$30.00
List Price: $37.50

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.

Complete Chapter List

Search this Book:
Reset