Towards Formal Modeling and Analysis of SystemJ GALS Systems using Coloured Petri Nets.

Weiyi Zhang Zoran Salcic Avinash Malik

Published in: INDIN (2019)

Keyphrases

coloured petri nets
statistical analysis
computer systems
formal model
intelligent systems
complex systems
quantitative analysis
formal analysis
database
real time
artificial intelligence
image analysis
management system
formal methods
mathematical modeling