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 15, 2012
- Camera-ready due, and conference registration: May 10, 2012
- Conference: July 1-3, 2012
ORGANIZERS:
Dr. Dianxiang Xu
National Center for the Protection of the Financial Infrastructure
Dakota State University
Madison, SD 57042, USA
Email: [email protected]
Dr. Haiping Xu
Computer and Information Science Department
University of Massachusetts Dartmouth
North Dartmouth, MA 02747, USA
Email: [email protected]
--
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Haiping Xu, PhD
Associate Professor
Dion 302E
Computer and Information Science Department
University of Massachusetts Dartmouth
285 Old Westport Rd.
North Dartmouth, MA 02747
Phone: 508-910-6427
Fax: 508-999-9144
Email: [email protected]
URL: www.cis.umassd.edu/~hxu
----
[[ 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] ]]
