CALL FOR PAPERS Special Issue of the LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC)
on Networks, Protocols, and Services Description: Computer and telecommunication networks, together with their protocols, constitute key building blocks of most modern ICT systems, since they define the infrastructures and the services that make possible the cooperation of users, be they human or machines, through the exchange of information. The engineering of networks, protocols and services supporting today's advanced use of information technology is a challenging discipline, which requires careful behavioral modeling and validation. This makes networks, protocols and services an important application domain for the use of Petri nets techniques, as well as other models of concurrency. In recent years, Petri net techniques have been successfully applied to the analysis and design of networks, protocols and services for a wide variety of application areas, ranging from high-performance network protocols, to embedded systems and mobile phones, to enterprise applications based on service-oriented architectures, and to web services. This special issue is dedicated to papers that focus on the practical applications of Petri net-based techniques and technologies, as well as other models of concurrency, to the analysis and design of networks, protocols and services. This special issue will cover a broad range of topics pertinent to the engineering of networks, protocols and services, including (but not limited to): - user requirement definition - service and protocol specification - testing and functional verification - performance and dependability evaluation - synthesis and code generation - assessment of security aspects Furthermore, we encourage submissions with focus on case studies demonstrating the practical effectiveness of concurrency modeling and associated analysis techniques in the areas above. Author Information and Submission: Papers must be written in English and formatted using the Springer LNCS-format: http://www.springer.de/comp/lncs/authors.html. The maximum paper length is 20 pages LNCS style. Papers must be submitted electronically in PDF format to: [email protected]<mailto:[email protected]> Further information on the TopNoC journal can be found via: http://www.springer.com/computer/lncs/transactions+opnoc?SGWID=0-159302-0-0-0 The Call for Papers of the Special Issue can also be found via: http://home.hib.no/ansatte/lmkr/topnocnpscall.htm Important Dates: Paper submission deadline: May 15, 2011 (extended). Author Notification: September 1, 2011. Revised manuscript submission: December 1, 2011. Guest Editors: Marco G. Ajmone Marsan, Politecnico di Torino, Italy Giuliana A. Franceschinis, University del Piemonte Orientale, Italy Lars M. Kristensen, Bergen University College, Norway
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
