@book {1324, title = {Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE{\textquoteright}07)}, year = {2007}, month = {06/2007}, publisher = {University of Podlasie, Institute of Computer Science}, organization = {University of Podlasie, Institute of Computer Science}, address = {Siedlce, Poland}, editor = {D. Moldt and F. Kordon and K. v. Hee and J.M. Colom and R. Bastide} }