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

Pranav Srinivas Kumar, Abhishek Dubey, Gabor Karsai

Browse the full MODELS paper archive.