Rules to Transform Specific Description Language Diagram Into Coloured Petri Nets.

Hana Mejdi Oussama Kallel Salem Hasnaoui

Published in: AINA Workshops (2018)

Keyphrases

description language
coloured petri nets
web services
active databases
software architecture
association rules
domain specific
description languages
high level
web service composition
formal verification
cooperative
evolutionary algorithm
object oriented
software systems
concurrent actions