Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications.

Pranav Srinivas Kumar Abhishek Dubey Gabor Karsai

Published in: MoDeVVa@MoDELS (2014)

Keyphrases

formal analysis
agent model
databases
formal methods
neural network
information systems
open source
modeling language
modeling method