Cargando…
Application and theory of petri nets and concurrency: 40th international conference, Petri Nets 2019, Aachen, Germany, June 23-28, 2019, proceedings
Autores principales: | Donatelli, Susanna, Haar, Stefan |
---|---|
Lenguaje: | eng |
Publicado: |
Springer International Publishing AG
2019
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2755792 |
Ejemplares similares
-
Application and theory of petri nets and concurrency: 37th international conference, Petri Nets 2016, Toruń, Poland, June 19-24, 2016 proceedings
por: Kordon, Fabrice, et al.
Publicado: (2016) -
A CTL* Model Checker for Petri Nets
por: Amparore, Elvio Gilberto, et al.
Publicado: (2020) -
43rd International Conference on Applications and Theory of Petri Nets and Concurrency (PETRI NETS 2022)
por: Bernardinello,, et al.
Publicado: (2022) -
Coloured Petri nets
por: Jensen, Kurt
Publicado: (1992) -
Coloured Petri nets
por: Jensen, Kurt, et al.
Publicado: (1995)