@proceedings {4661,
	title = {Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications},
	year = {2014},
	pages = {79{\textendash}88},
	keywords = {f6mdk},
	url = {http://ceur-ws.org/Vol-1235/$\#$paper-10},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/MoDeVVa_2014_CPN.pdf},
	author = {Kumar, Pranav Srinivas and Dubey, Abhishek and Karsai, Gabor}
}
