Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto


Mostrar registro sencillo 2012-10-30T15:14:37Z 2012-10-30T15:14:37Z 2001-10
dc.description.abstract 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. en
dc.format.extent 9 p. es
dc.language en es
dc.title Business process modeling using petri nets with clocks en
dc.type Objeto de conferencia es
sedici.creator.person Riesco, Daniel Eduardo es
sedici.creator.person Montejano, Germán Antonio es
sedici.creator.person Vilallonga, Gabriel Domingo es
sedici.creator.person Uzal, Roberto es
sedici.description.note Eje: Ingeniería de software es
sedici.subject.materias Ciencias Informáticas es
sedici.subject.keyword Software Engineering en
sedici.subject.keyword Business Process Modeling en
sedici.subject.keyword Timed Petri Nets en
sedici.subject.keyword Real Time Systems en
sedici.subject.keyword Timed Graph en
sedici.description.fulltext true es Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri 2001-10
sedici.relation.event VII Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es
sedici.subject.acmcss98 SOFTWARE ENGINEERING es
sedici.subject.acmcss98 Real time es
sedici.subject.acmcss98 Petri nets es

Descargar archivos

Este ítem aparece en las siguientes colecciones:

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)