Transformation and validation of BPMN models to Petri nets models using GROOVE.

Said Meghzili Allaoua Chaoui Martin Strecker Elhillali Kerkouche

Published in: ICAASE (2016)

Keyphrases

petri net
process model
business process
complex systems
metamodel
manufacturing systems