Business process modeling using petri nets with clocks

Petri Nets are tools for the analysis and design of concurrent systems. There is a formal theory, which supports Petri Nets. We propose Petri Nets with Clocks which has a high expressive power in the concurrent and asynchronous process modeling and gives the possibility to model real time systems....

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Riesco, Daniel Eduardo, Montejano, Germán Antonio, Vilallonga, Gabriel Domingo, Uzal, Roberto
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2001
Materias:
Ciencias Informáticas
Software Engineering
Business Process Modeling
Timed Petri Nets
Real Time Systems
Timed Graph
Real time
Petri nets
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23256
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23256
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Software Engineering
Business Process Modeling
Timed Petri Nets
Real Time Systems
Timed Graph
Real time
Petri nets
spellingShingle Ciencias Informáticas
Software Engineering
Business Process Modeling
Timed Petri Nets
Real Time Systems
Timed Graph
Real time
Petri nets
Riesco, Daniel Eduardo
Montejano, Germán Antonio
Vilallonga, Gabriel Domingo
Uzal, Roberto
Business process modeling using petri nets with clocks
topic_facet Ciencias Informáticas
Software Engineering
Business Process Modeling
Timed Petri Nets
Real Time Systems
Timed Graph
Real time
Petri nets
description Petri Nets are tools for the analysis and design of concurrent systems. There is a formal theory, which supports Petri Nets. We propose Petri Nets with Clocks which has a high expressive power in the concurrent and asynchronous process modeling and gives the possibility to model real time systems. The Petri Nets with Clocks are useful to model systems with temporal requirements via specification of clocks, using temporal invariants for the places and temporal conditions in the transitions. Also, we have developed an algorithm for the analysis of Petri Nets with Clocks. For the Business Processes Modeling, we propose to use Petri Nets with Clocks to formalize models, allowing to study the models through a quantitative and qualitative analysis. Petri Nets with Clocks includes additional temporal elements -clocks-, which are appropriate for the Business Processes Modeling and are not taken into consideration in the literature concerning the extensions of Petri Nets with time. Petri Nets with Clocks allows studying the structural properties of Business Processes Modeling. This study not only allows the simulation but also verifies formally the model. It is oriented to the verification and correction of errors in the modeling of the time variable en Business Processes.
format Objeto de conferencia
Objeto de conferencia
author Riesco, Daniel Eduardo
Montejano, Germán Antonio
Vilallonga, Gabriel Domingo
Uzal, Roberto
author_facet Riesco, Daniel Eduardo
Montejano, Germán Antonio
Vilallonga, Gabriel Domingo
Uzal, Roberto
author_sort Riesco, Daniel Eduardo
title Business process modeling using petri nets with clocks
title_short Business process modeling using petri nets with clocks
title_full Business process modeling using petri nets with clocks
title_fullStr Business process modeling using petri nets with clocks
title_full_unstemmed Business process modeling using petri nets with clocks
title_sort business process modeling using petri nets with clocks
publishDate 2001
url http://sedici.unlp.edu.ar/handle/10915/23256
work_keys_str_mv AT riescodanieleduardo businessprocessmodelingusingpetrinetswithclocks
AT montejanogermanantonio businessprocessmodelingusingpetrinetswithclocks
AT vilallongagabrieldomingo businessprocessmodelingusingpetrinetswithclocks
AT uzalroberto businessprocessmodelingusingpetrinetswithclocks
bdutipo_str Repositorios
_version_ 1764820466022744064

Ejemplares similares