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....
Guardado en:
| Autores principales: | Riesco, Daniel Eduardo, Montejano, Germán Antonio, Vilallonga, Gabriel Domingo, Uzal, Roberto |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2001
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23256 |
| Aporte de: |
Ejemplares similares
Ejemplares similares
-
Ingeniería de software de sistemas distribuidos de tiempo real modelización y evaluación de las restricciones de tiempo
por: De Giusti, Armando Eduardo, et al.
Publicado: (1998) -
IP Core for Timed Petri Nets
por: Micolini, Orlando, et al.
Publicado: (2022) -
Enhancing the adoption of formal methods to design real-time systems
por: Felder, Miguel, et al.
Publicado: (1996) -
Temporal validation of extended workflow processes by means Petri Nets with Clocks
por: Riesco, Daniel Eduardo, et al.
Publicado: (2008) -
Linear time analysis of properties of conflict-free and general Petri nets
por: Alimonti, P., et al.
Publicado: (2011)