Mostrando 3 resultados de: 3
Filtros aplicados
Publisher
CEUR Workshop Proceedings(1)
Journal of Logical and Algebraic Methods in Programming(1)
Proceedings of the ACM Symposium on Applied Computing(1)
Área temáticas
Ciencias de la computación(3)
Origen
scopus(3)
Formal support of process chain networks using model-driven engineering and petri nets
Conference ObjectAbstract: Business process modelling is an essential activity for competitive enterprises, as it enables documPalabras claves:ATL, Business process model, Model Transformations, model-driven engineering, Petri nets, Process chain networkAutores:Gómez-Martínez E., Juan De Lara, Marcos E., Pérez-Blanco F., Vara J.M.Fuentes:scopusLifted structural invariant analysis of Petri net product lines
ArticleAbstract: Petri nets are commonly used to represent concurrent systems. However, they lack support for modelliPalabras claves:Constraint Solving, Petri nets, Software product lines, Structural invariant analysisAutores:Garmendia A., Gómez-Martínez E., Guerra E., Juan De LaraFuentes:scopusTowards extensible structural analysis of petri net product lines
Conference ObjectAbstract: In order to represent the behaviour of a (potentially large) set of concurrent systems, we propose aPalabras claves:model-driven engineering, Petri nets, Product LinesAutores:Gómez-Martínez E., Guerra E., Juan De LaraFuentes:scopus