Apologies if you receive multiple copies. ------------------------------------------------------------------------ Call for Papers and Announcement Petri Nets 2006
27th INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS AND OTHER MODELS OF CONCURRENCY Turku, Finland, June 26-30, 2006 Additional information about the conference will be published via http://www.cs.abo.fi/atpn2006/ Contact e-mail: [EMAIL PROTECTED] In 2006 the Petri Nets conference is co-located with the ACSD'06. Important Dates: Submission of Papers & Tool Presentations: November 15, 2005 Notification: March 1, 2006 Final Version Due: April 1, 2006 Tutorials & Workshops: June 26-27, 2006 Conference: June 28-30, 2006 The deadline for submission of papers and tool presentations is STRICT. However, if you submit the title page before Nov. 15 it is sufficient to submit the full paper/tool presentation before Nov. 22. The title page must contain a short abstract, classification of the paper, and tell whether it is a theory paper, application paper, or tool presentation. The 27th annual international Petri Net conference and tutorials will be organised by ùÕ÷o Akademi University, Department of Computer Science. Papers presenting original contributions in any area of application and theory of Petri nets are sought. The language of the conference is English. Topics System design and verification using nets, Analysis and synthesis, structure and behaviour of nets, Relationships between net theory and other approaches, Causality/partial order theory of concurrency, Net-based semantical, logical and algebraic calculi, Symbolic net representation (graphical or textual), Computer tools for nets, Experience with using nets, case studies, Educational issues related to nets, Higher-level net models, Timed and stochastic nets, Standardisation of nets, Applications of nets to different kinds of systems and application fields, e.g.: flexible manufacturing systems, real-time systems, embedded systems, defence systems, biological systems, health and medical systems, environmental systems, hardware structures, telecommunications, railway networks, office automation, workflows, supervisory control, protocols and networks, Internet, e-commerce and trading, programming languages, performance evaluation, operations research. The conference takes place under the auspices of EATCS and GI SIG "Petri Nets and Related System Models". Paper Submissions Submissions for papers must: * Contain original contributions that have not been published or submitted to other conferences/journals in parallel with this conference. * Clearly state the problem being addressed, the goal of the work, the results achieved, and the relation to other work. * Be in the Springer LNCS-format: http://www.springer.de/comp/lncs/authors.html. * Have a length that does not exceed 20 pages. * Be in English and in a form that can be immediately included in the proceedings without major revision. * Be sent electronically (as a PostScript or PDF file) using the website http://sttt.cs.uni-dortmund.de/atpn06/servlet/Conference no later than November 15, 2005. The title page must: * Contain a short abstract and a classification of the topics covered, preferably using the list of topics above. * Clearly indicate whether the paper is submitted as a theory paper, an application paper, or both. A typical application paper is a paper that describes one or more projects in which Petri net models and tools have been used in practice. An application paper may also describe a tool, a methodology, or other developments that demonstrate the applicability of Petri nets to industrial systems. Submissions received too late and submissions sent by fax will be immediately rejected. The same will happen with papers which are not in English or exceed the page limit. Authors will be notified of acceptance/rejection by March 1, 2006. The proceedings will be published by Springer-Verlag in Lecture Notes in Computer Science. The final camera-ready version of accepted papers must be received by Susanna Donatelli no later than April 1, 2006. The page limit is 20 pages. Program Committee Co-Chair (Theory Papers) P. S. Thiagarajan School of computing, NUS 3 Science Drive 2 Singapore 117543 Phone: +65-6874 7998 Fax: +65-6779 4580 Program Committee Co-Chair (Application Papers) Susanna Donatelli Università degli Studi di Torino Dipartimento di Informatica Corso Svizzera 185 I-10149 Torino Italy Phone: +39 011 6706746 Fax: +39 011 751603 Organising Committee Chair Johan Lilius ùÕ÷o Akademi University Department of Computer Science Lemminkú¿ènengatan 14 A FIN-20540 Turku FINLAND Phone: +358 40 5440741 Fax: +358 2 215 4732 Tools Demonstration Chair Jerker Bjúä·kqvist ùÕ÷o Akademi University Department of Computer Science Lemminkú¿ènengatan 14 A FIN-20540 Turku FINLAND Phone: +358 2 215 3348 Fax: +358 2 215 4732 Tutorials and Workshops The conference takes place Wednesday to Friday. However, the surrounding days also offer a large variety of Petri net activities. The Introductory Tutorial is offered to participants who have little or no prior experience with Petri nets. The talks give an overview of the area, and they will help new-comers to understand the basic ideas in many of the conference contributions. The Advanced Tutorials and Workshops are offered to those who already have some knowledge of Petri nets. They are divided into several strands covering different subjects. A detailed description of the tutorials and workshops will be available via the conference Web pages. Finally, it will be possible to arrange meetings for different groups, e.g., participants in international Petri net projects. It will also be possible to arrange small educational courses, e.g., with respect to some of the Petri net tools. Submissions for such activities must contain a 2-5 page description. They must be received by one of the PC-chairs no later than January 15, 2006. Tools for Petri Nets As part of the conference, there will be an exhibition of computer tools for Petri nets together with a limited number of tool presentations, i.e., talks about tools. For tool presentations a rotation principle will be enforced. This means that the same tool cannot be presented year after year -- unless it has been significantly enhanced. Submissions for tool presentations must: * Focus on the description of a computer tool for Petri Nets (not an application of the tool or the theory behind the tool). * Be in the Springer LNCS-format: http://www.springer.de/comp/lncs/authors.html. * Have a length that does not exceed 10 pages. * Be in English and in a form that can be immediately included in the proceedings without major revision. * Be sent electronically (as a PostScript or PDF file) using the website http://sttt.cs.uni-dortmund.de/atpn06/servlet/Conference no later than November 15, 2005. Submissions for tool demonstrations must: * Be in English and contain a 3-10 pages description of the tool. * Be received by the tool demonstration chair Jerker Bjúä·kqvist no later than April 1, 2006. Participants wishing to demonstrate tools are encouraged to bring their own machines, as only a limited number of local machines will be available for this purpose, with limited support for installation. Program Committee J. Billington, Australia D. Buchs, Switzerland N. Busi, Italy G. Ciardo, USA J.M. Colom, Spain P. Darondeau, France S. Donatelli, Italy (co-chair, applications) G. Franceschinis, Italy B. Haverkort, The Netherlands X. He, USA K. van Hee, The Netherlands M. Heiner, Germany J. Hillston, UK K. Hiraishi, Japan P. Jancar, Czech Republic G. Juhas, Germany M. Koutny, UK L.M. Kristensen, Denmark J. Lilius, Finland M. Mukund, India W. Penczek, Poland L. Petrucci, France L. Pomello, Italy L. Recalde, Spain K. Schmidt, Germany P.S. Thiagarajan, Singapore (co-chair, theory) T. Ushio, Japan R. Valk, Germany F. Vernadat, France Steering Committee W. van der Aalst, The Netherlands J. Billington, Australia J. Desel, Germany S. Donatelli, Italy S. Haddad, France K. Jensen, Denmark (chair) H.C.M. Kleijn, The Netherlands M. Koutny, UK S. Kumagai, Japan T. Murata, USA C.A. Petri, Germany (honorary member) L. Pomello, Italy W. Reisig, Germany G. Rozenberg, The Netherlands M. Silva, Spain _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell