Dear Sir/Madam, Could you please post the following Call For Papers? Thank you! -- Dianxiang Xu, Ph.D. Associate Professor National Center for the Protection of the Financial Infrastructure Dakota State University Madison, SD 57042 [email protected] 605-256-5694 605-256-5697 (fax)
CALL FOR PAPERS A Special Session on Petri Nets for Software Engineering and Knowledge Engineering at the 24th International Conference on Software Engineering and Knowledge Engineering (SEKE’2012) July 1-3, 2012 Hotel Sofitel, Redwood City San Francisco Bay, USA (http://www.ksi.edu/seke/seke12.html) Petri nets are a widely applied formal method for modeling and analyzing distributed systems. This special session will bring together researchers and practitioners to discuss research advances and challenging issues associated with various applications of Petri nets, such as place/transition nets, high-level Petri nets, time Petri nets, timed Petri nets, stochastic Petri nets, fuzzy Petri nets, and other variations of Petri nets, in the areas of software engineering and knowledge engineering. Topics of interest include, but are not limited to, the following: · Petri nets for system modeling, validation, and verification · Petri nets for software testing · Petri nets for software security · Petri nets for bioinformatics · Petri nets for workflow management · Petri nets for social networks · Petri nets for embedded systems · Petri nets for requirements analysis and design · Petri nets for multi-agent systems · Petri nets for knowledge engineering · Petri net-based formal methods · Petri net tools · Case studies · Industrial applications Submitted papers must not be previously published or be under consideration for publication elsewhere. Authors must adhere to all submission procedures of the 24th SEKE’2012, including deadlines and paper format. In addition to submitting papers via the 24th SEKE’2012 web site (see above for address), authors are required to submit a copy of their paper(s) by email to Dr. Dianxiang Xu at [email protected] or Dr. Haiping Xu at [email protected] on or before March 02, 2012 (the deadlines will follow any changes in the SEKE deadlines). All papers accepted for the session will be published in the proceedings of SEKE’2012. The session papers are considered as papers submitted to SEKE’2012, and they undergo the same review process. We plan to publish a special issue of selected papers in the International Journal of Software Engineering and Knowledge Engineering (http://www.worldscinet.com /ijseke/ijseke.shtml), or other international journal dedicated to software engineering. Important Dates: Paper submission deadline: March 2, 2012 Notification of acceptance: April 20, 2012 Camera-ready due, and conference registration: May 10, 2012 Conference: July 1-3, 2012
---- [[ 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] ]]
