Pranav Srinivas Kumar, Abhishek Dubey, Gabor Karsai. Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications. In Frédéric Boulanger, Michalis Famelis, Daniel Ratiu, editors, Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation co-located with 17th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MODELS 2014, Valencia, Spain, September 30, 2014. Volume 1235 of CEUR Workshop Proceedings, pages 79-88, CEUR-WS.org, 2014. [doi]
Abstract is missing.