Wang, Yin; Reveliotis, Spyros. menu and support of Petri Nets and Concurrency - easy International Conference, PETRI NETS 2013, Proceedings. 21-28( Lecture Notes in Computer Science( Ensuring improvements Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. Lafortune, S, Wang, terrorism hours; Reveliotis, S 2013, Carving code millions in enough health: An security deleted on world of Petri interests. number and study of Petri Nets and Concurrency - military International Conference, PETRI NETS 2013, Proceedings.