Welcome to the InfoSci Platform
Reference Hub1
Petri Nets with Clocks for the Analytical Validation of Business Process

Petri Nets with Clocks for the Analytical Validation of Business Process

Gabriel Vilallonga, Daniel Riesco, Germán Montejano, Roberto Uzal
Copyright: © 2003 |Pages: 15
ISBN13: 9781931777506|ISBN10: 1931777500|EISBN13: 9781931777667
DOI: 10.4018/978-1-93177-750-6.ch002
Cite Chapter Cite Chapter

MLA

Vilallonga, Gabriel, et al. "Petri Nets with Clocks for the Analytical Validation of Business Process." Practicing Software Engineering in the 21st Century, edited by Scott J. Lloyd and Joan Peckham, IGI Global, 2003, pp. 11-25. https://doi.org/10.4018/978-1-93177-750-6.ch002

APA

Vilallonga, G., Riesco, D., Montejano, G., & Uzal, R. (2003). Petri Nets with Clocks for the Analytical Validation of Business Process. In S. Lloyd & J. Peckham (Eds.), Practicing Software Engineering in the 21st Century (pp. 11-25). IGI Global. https://doi.org/10.4018/978-1-93177-750-6.ch002

Chicago

Vilallonga, Gabriel, et al. "Petri Nets with Clocks for the Analytical Validation of Business Process." In Practicing Software Engineering in the 21st Century, edited by Scott J. Lloyd and Joan Peckham, 11-25. Hershey, PA: IGI Global, 2003. https://doi.org/10.4018/978-1-93177-750-6.ch002

Export Reference

Mendeley
Favorite

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.