Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Show simple item record

dc.date.accessioned 2012-10-30T15:14:37Z
dc.date.available 2012-10-30T15:14:37Z
dc.date.issued 2001-10
dc.identifier.uri http://hdl.handle.net/10915/23256
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
mods.originInfo.place 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 http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 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


Files in this item

This item appears in the following Collection(s)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)