The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Petri Nets with Clocks for the Analytical Validation of Business Process
|
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
|
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.
|
|
|