What was New in 2005

Dezember 26, 2005: Call for Papers: The IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences announces a forthcoming Special Section on Concurrent/Hybrid Systems: Theory and Applications to be published in November 2006.

Dezember 23, 2005: Call for Papers: 11th International Conference on Implementation and Application of Automata. Topics of interest include computer-aided verification and concurrency. Submission deadline is March 31, 2006.

Dezember 22, 2005: Call for Papers: 3rd International Conference on Quantitative Evaluation of SysTems. Topics of interest include stochastic and timed Petri nets. Submission deadline is March 20, 2006 for abstracts and March 27 for papers.

Dezember 22, 2005: Call for Participation: 13th GI/ITG Conference on Measurement, Modeling and Evaluation of Computer and Communication Systems. In Nuernberg, Germany, March 27-29, 2006. Program is now available.

Dezember 21, 2005: Extended Submission Deadline: 4th Conference on Communication Networks and Services Research. In Moncton, New Brunswick, May 23-25, 2006. Submission deadline is extended to January 5, 2006.

Dezember 17, 2005: Call for Papers: International Conference on Programming Languages and Compilers. Submission deadline is Feburary 20, 2006.

Dezember 17, 2005: Call for Papers: International Conference on Software Engineering Research and Practice. Submission deadline is Feburary 20, 2006.

Dezember 16, 2005: Call for Papers: 30th Annual International Computer Software and Applications Conference. Submission deadline is Feburary 20, 2006 (abstracts until February 6).

Dezember 16, 2005: Tool update: The description of the WebSPN tool, a tool for the analysis of non-Markovia stochastic Petri nets, by the Universitá di Messina, Italy, has been updated.

Dezember 14, 2005: Postdoc Position at IMG Lucca (Tuscany, Italy). The Postdoctoral Fellow will be asked to conduct applied research on Global Computing/Grid computing/Service Oriented Computing and to contribute to IMT teaching activity. Applications Deadline is December 30, 2005.

Dezember 13, 2005: Call for Participation: High Performance Computing & Simulation Conference. The Conference will be held in Bonn, Germany, May 28-31, 2006 in conjunction with the 20th European Conference on Modelling and Simulation (ECMS 2006). Submission deadline is January 30, 2006.

Dezember 9, 2005: Call for Papers: 3rd International Colloquium on Theoretical Aspects of Computing. Among others one topic is models of concurrency. Submission deadline is May 1, 2006.

Dezember 8, 2005: Call for Papers: Special Session on Dynamic Workflow Management at the IEEE International Conference on Systems, Man, and Cybernetics. Submission deadline is March 1, 2006. (Submission of paper information to the organizers due to January 25, 2006.)

Dezember 8, 2005: Call for Papers: IEEE International Conference on Pervasive Services 2006. 26-29 June 2006, Lyon, France. Submission deadline is January 23, 2006.

Dezember 8, 2005: Call for Papers: 4th Conference on Communication Networks and Services Research. In Moncton, New Brunswick, May 23-25, 2006. Submission deadline is Dezember 14, 2005.

Dezember 8, 2005: 2nd Call for Papers: IEEE International Conference on Systems, Man, and Cybernetics. There is a Special Session on Petri Nets and Discrete Event Systems. Submission deadline is March 1, 2006. (Submission of paper information to the organizers due to January 25, 2006.)

Dezember 7, 2005: Last Call for Papers: 4th Workshop on Quantitative Aspects of Programming Languages Vienna, Austria, April 1-2, 2006. A satellite event of ETAPS 2006. Submission deadline is Dezember 22, 2005.

Dezember 5, 2005: Call for Papers: IEEE Symposium on Visual Languages and Human-Centric Computing. Brighton, UK, 4-8 September 2006. One of the issues is Business Processes Modeling. Submission deadline is March 3, 2006.

Dezember 2, 2005: New Tool: A simple petri net editor called PetitPetri has been added to the tools database. It was used in a concurrent programming course at the University of Bern, Switzerland.

November 30, 2005: Extended Deadline: Sixth International Conference on Application of Concurrency to System Design. Deadline for paper submission extended to Dezember 9, 2005.

November 28, 2005: Informal meeting announced for discussing the comments on the CD ballot for ISO/IEC 15909 Software and Systems Engineering -- High-level Petri Nets, Part 2: Transfer Format. January 5 and 6, 2006 at LIP6, Paris, France.

November 25, 2005: Last Call for Papers: 13th International SPIN Workshop on Model Checking of Software. Satellite workshop of ETAPS 2006. Strict submission deadline is Dezember 2, 2005.

November 23, 2005: Call for Papers: 1st International Conference on Performance Evaluation Methodologies and Tools. Pisa, Italy, October 12-14, 2006. One of the issues is Petri nets as discrete event systems. Submission deadline is April 10, 2006.

November 22, 2005: Call for Papers: 4th International Conference on Business Process Management. Vienna, Austria, September 5-7, 2006. The conference welcomes papers on the application of Petri nets to BPM. Submission deadline is May 1, 2006.

November 21, 2005: Call for Papers: 3rd European Performance Engineering Workshop. Budapest, Hungary, June 21-22, 2006. One of the topics is Stochastic Petri Nets. Submission deadline is February 22, 2006.

November 21, 2005: Call for Papers: 3rd International Conference on Graph Transformation. Various theoretical and practical topics related to graphs. Natal, Brazil, September 17-23, 2006. Submission deadline (title and abstract) April 10, 2006 and for complete papers April 14, 2006.

November 18, 2005: Call for Papers & Deadline Extension: 12th IFAC Symposium on Information Control Problems in Manufacturing. Special session on Petri Nets and the e-enterprise. Saint-Etienne, France, May 17-19, 2006. Paper submission deadline is extended to November 30, 2005.

November 18, 2005: Call for Papers: Sixth International Conference on Application of Concurrency to System Design. Åbo Akademi University, Turku, Finland, June 27-30, 2006. Submission deadline is Dezember 1, 2005.

November 15, 2005: Added information on the research group at IIT Roorkee, Department of Mathematics, India.

November 14, 2005 Second Call for Papers: 5th International Workshop on Graph Transformation and Visual Modeling Techniques. Vienna, Austria, April 1-2, 2006. Contributions are welcome from communities working on popular visual modeling notations like UML, Petri nets, Graph Transformation, Business Process/Workflow Models. Submission deadline is Dezember 12, 2005.

November 14, 2005: Call for Papers: 13th International Conference on Analytical and Stochastic Modelling Techniques and Applications (in conjunction with the 20th European Conference on Modelling & Simulation) in Bonn, Germany. Topics include stochastic Petri net models. Submission deadline is January 30, 2006.

November 14, 2005: Early Bird Submission Gift for the IEEE International Conference on Systems, Man, and Cybernetics (Special Session on Petri Nets and Discrete Event Systems).

November 11, 2005: Call for Papers: High Performance Computing & Simulation Conference (in conjunction with the ECMS 2006) in Bonn, Germany. Topics include the modeling and simulation, the design and the use of high performance and large scale computing systems. Submission deadline is January 30, 2006.

November 9, 2005: Call for Papers: 4th Workshop on Quantitative Aspects of Programming Languages (a satellite event of ETAPS 2006). The aim of this workshop is to discuss the explicit use of quantitative information such as time and probabilities either directly in the model or as a tool for the analysis of systems. Submission deadline is December 15, 2005.

November 4, 2005: Call for Papers and Announcement: Deadline to the 27th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency is fast approaching. The conference will be held in Turku, Finnland, June 26-30, 2006. Submission of Papers and Tool Presentation deadline is November 15, 2005. (November 22nd, if abstract submitted by the 15th.)

November 3, 2005: Call for Papers: Workshop "Modeling in Education" (a satellite of Modellierung 2006). The language of this workshop is German. but papers and presentations in English will also be considered. Submission deadline is Dezember 15, 2005.

November 2, 2005: Call for Papers: IEEE International Conference on Systems, Man, and Cybernetics. There is a Special Session on Petri Nets and Discrete Event Systems. Submission deadline is March 1, 2006. (Submission of paper information to the organizers due to January 25, 2006.)

November 2, 2005: PhD Positions available at the International Institute for Software Technology of the United Nations University (UNU-IIST). Open to candidates from developing countries. Closing date for application is November 15, 2005.

October 29, 2005: Call for Papers: PNML Forum at Petri Nets 2006. The PNML Forum will bring together tool builders and researchers working on PNML in order to exchange experiences in the implementation and the use of PNML. Submission deadline is March 12, 2006.

October 28, 2005: Deadline Extension: The deadline for the 4th Symposium on Design, Analysis, and Simulation of Distributed Systems (Huntsville, Alabama, April 2-6, 2006) has been extended to November 25, 2005.

October 21, 2005: Call for Papers: 25th International Conference on Computer Safety, Reliability and Security Cybernetics. Submission deadline is March 10, 2006.

October 21, 2005: Call for Papers: 13th International SPIN Workshop on Model Checking of Software. Submission deadline is Dezember 2, 2005.

October 21, 2005: Call for Papers: Conference on Analysis and Design of Hybrid Systems. There is a Special Session on Hybrid Petri Nets: Theory and Applications. Submission deadline is January 5, 2006. (Submission of title and short abstract due to November 20, 2005.)

October 18, 2005: Call for Papers: IEEE International Conference on Systems, Man, and Cybernetics. There is a Special Session on Petri Nets and Discrete Event Systems. Submission deadline is March 1, 2006. (Submission of paper information to the organizers due to January 25, 2006.)

October 13, 2005: Deadline extension: The deadline for the 39th Annual Simulation Symposium (Huntsville, AL, April 2-6, 2006) has been extended to October 30, 2005.

October 12, 2005: The Lucca Institute for Advanced Studies offers a three-years PhD program in Computer Science and Engineering, focused on wide area networks. Eight scholarships are available. Students are provided accommodation and boarding facilities free of charge. The deadline for application is November 22.

October 12, 2005: CPN-AMI 3.0 announced. CPN-AMI can be used for creating and analyzing high level Petri nets. It includes many analysis possibilities, from structural computations to full model-checking.

October 11, 2005: Call for Papers: 9. Fachtagung Entwurf komplexer Automatisierungssysteme (in German). Braunschweig, Germany, May 29-31, 2006. One of the topics is modeling with Petri nets. Submission deadline is November 25, 2006.

October 6, 2005: Call for Papers: 39th Annual Simulation Symposium. Huntsville, AL, April 2-6, 2006. Paper submission deadline is October 15, 2005.

October 6, 2005: Call for Papers: Joint Meeting of the 4th Workshop on Model-Based Development of Computer Based Systems and 3rd International Workshop on Model-based Methodologies for Pervasive and Embedded Software. Potsdam (Berlin area), Germany, March 27-30, 2006. Paper submission deadline is November 13, 2005.

October 4, 2005: Call for Papers: 4th Symposium on Design, Analysis, and Simulation of Distributed Systems. Huntsville, Alabama, USA, April 2-6, 2006. One of the major topics is Petri Net modelling. Paper submission deadline is October 31, 2005.

October 3, 2005: Call for Papers: 12th IFAC Symposium on Information Control Problems in Manufacturing. Special session on Petri Nets and the e-enterprise. Saint-Etienne, France, May 17-19, 2006. Paper submission deadline is November 15, 2005.

September 30, 2005: Call for Papers: 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems. Paphos, Cyprus, May 23-24, 2006. Paper submission deadline is January 16, 2006.

September 23, 2005: Two research positions within the Performance Analysis of Telecommunication Systems research group at the University of Antwerp, Belgium.

September 21, 2005: Call for Papers: 12th. International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vienna, Austria, March 27-31, 2006. Paper submission deadline is October 14, 2005.

September 21, 2005: Last Call for Papers: 13th GI/ITG Conference on Measurement, Modeling, and Evaluation of Computer and Communication Systems. Nuernberg, Germany, March 27-29, 2006. Paper submission deadline is October 1, 2005.

September 19, 2005: Call for Papers: 39th Annual Simulation Symposium. Huntsville, AL, April 2-6, 2006. Paper submission deadline is October 15, 2005.

September 18, 2005: Call for Participation: 3rd Workshop on Object-oriented Modeling of Embedded Real-Time Systems. October 13 and 14, 2005, Heinz Nixdorf MuseumsForum, Paderborn, Germany.

September 16, 2005: Call for Participation: Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. October 24-26, 2005, Aarhus, Denmark. Registration deadline is October 5, 2005.

September 14, 2005: Call for Papers: 5th International Workshop on Graph Transformation and Visual Modeling Techniques. Vienna, Austria, April 1-2, 2006. Contributions are welcome from communities working on popular visual modeling notations like UML, Petri nets, Graph Transformation, Business Process/Workflow Models. Submission deadline is Dezember 12, 2005.

September 9, 2005: Call for Papers (preliminary): Sixth International Conference on Application of Concurrency to System Design. Åbo Akademi University, Turku, Finland, June 27-30, 2006. Submission deadline is Dezember 1, 2005.

September 9, 2005: The Department of Computer Science of Ca' Foscari University of Venice (Italy) is recruiting PhD students for a 3-year Doctoral Program in Computer Science starting in 2006.

August 29, 2005: Call for Papers: 13th GI/ITG Conference on Measurement, Modeling, and Evaluation of Computer and Communication Systems. Nuernberg, Germany, March 27-29, 2006. Paper submission deadline is October 1, 2005.

August 24, 2005: Call for Participation: 2nd International Conference on Quantitative Evaluation of SysTems. Torino, Italy, September 19-22, 2005.

August 23, 2005: Call for Participation: 12th Workshop Algorithms and Tools for Petri Nets. Berlin, 29-30 Sep 2005. Deadline for registration is September 1, 2005.

August 23, 2005: Call for Papers: 39th Annual Simulation Symposium Part of 2006 Spring Simulation Multiconference. Contributions in all areas of modeling and simulation are welcome. Paper submission deadline is October 15, 2005.

August 23, 2005: Call for Papers: International Conference on Intelligent Agents, Web Technologies and Internet Commerce. Draft paper submission deadline is August 31, 2005.

August 23, 2005: Call for Papers: International Conference on Computational Intelligence for Modelling, Control and Automation. Draft paper submission deadline is August 31, 2005.

August 23, 2005: Call for Papers: International Journal of Web Services Research (Special Issue). Manuscript Submission Deadline is November 1, 2005.

August 14, 2005: Call for Participation: Workshop on Visual Modeling for Software Intensive Systems. Dallas, Texas, USA, 24 September 2005.

August 05, 2005: Call for Papers: 27th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Turku (Åbo), Finland, June 26-30, 2006. Deadline for submission of papers and tool presentations is November 15, 2005.

August 05, 2005: Call for Participation: 5th International Workshop on Automated Verification of Critical Systems. University of Warwick, UK, 12-13 September 2005. Workshop programme and registration information are now available.

August 02, 2005: Call for Submission: 14th International Symposium on Formal Methods. Hamilton, Canada, August 21-27, 2006.

July 29, 2005: Submission deadline extended for AWPN 2005 to August 5, 2005.

July 28, 2005: Call for Papers: 13th GI/ITG Conference on Measurement, Modeling and Evaluation of Computer and Communication Systems. Nuernberg, Germany, March 27-29, 2006. One of the topics is Stochastic Petri Nets. Paper submission deadline is October 1, 2005.

July 26, 2005: Call for Participation: 2nd International Conference on Quantitative Evaluation of SysTems. Torino, Italy, September 19-22, 2005. The deadline for early registration is August 7, 2005.

July 22, 2005: Call for Participation: 3rd International Conference on Business Process Management. Nancy, France, September 5-7, 2005. Each year there are several papers on applications of Petri nets to process-aware information systems (e.g., workflow management).

July 21, 2005: Call for Papers: 39th Annual Simulation Symposium Part of 2006 Spring Simulation Multiconference. Contributions in all areas of modeling and simulation are welcome. Paper submission deadline is October 15, 2005.

July 21, 2005: Call for Papers: Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools in Aarhus, Denmark. Paper submission deadline is August 15, 2005.

July 21, 2005: A 15 month postdoc position is available within the ASAX project.

July 06, 2005: Call for Papers: International Conference on Intelligent Agents, Web Technologies and Internet Commerce. Paper submission deadline is August 31, 2005.

July 06, 2005: Call for Papers: International Conference on Computational Intelligence for Modelling, Control and Automation. Paper submission deadline is August 31, 2005.

July 06, 2005: Call for Papers: Workshop Enterprise Modelling and Information Systems Architectures. Paper submission deadline is August 8, 2005.

July 06, 2005: Vacancie for one postdoc for the program Verifiable and Evolvable e-Society at School of Information Science, Japan Advanced Institute of Science and Technology.

July 05, 2005: Call for Papers: 3rd Workshop on Object-oriented Modeling of Embedded Real-Time Systems. Paper submission deadline is July 15, 2005.

June 27, 2005: Vacancies for two postdocs and one scientific programmer at the Formal Methods Group and the Design and Analysis of Communication at University of Twente (Netherlands). Project: Modeling and Analysis of QoS of Component-Based Designs.

June 27, 2005: Vacancies for three Postdocs on Distributed Model Checking for the NWO/Focus project A Verification Grid for Enhanced Model Checking. (Netherlands)

June 27, 2005: Call for Papers: 2nd IEEE International Workshop on Networking Issues in Multimedia Entertainment. Paper submission deadline is August 10, 2005.

June 20, 2005: Call for Papers: 4th Workshop Methods for Modalities. Paper submission deadline is September 1, 2005.

June 20, 2005: Deadline Extension: 3rd Workshop on Object-oriented Modeling of Embedded Real-Time Systems. New paper submission deadline is July 15, 2005.

June 17, 2005: Call for Papers: 3rd International Conference on Service-Oriented Computing. Paper abstract submission deadline is June 24, 2005. Full paper submission deadline is July 1, 2005.

June 17, 2005: International Standard defining High-level Petri nets has been published by ISO! The standard is ISO/IEC, "Software and System Engineering - High-level Petri Nets - Part 1: Concepts, Definitions and Graphical Notation", International Standard ISO/IEC 15909-1, First edition, 2004-12-01

June 17, 2005: Call for Papers: 7th International Workshop on Performability Modeling of Computer and Communication Systems. Paper submission deadline is June 20, 2005.

June 13, 2005: Tutorial on "Petri Nets and Role Models as Tools for Asynchronous Circuits and Systems Design". (Organised within International Conference "Formal Methods 2005" 18-22 July 2005, University of Newcastle upon Tyne, UK.)

June 13, 2005: Call for Papers: 39th Annual Simulation Symposium. Paper submission deadline is October 15, 2005.

June 8, 2005: Call for Papers: 1st International Workshop on Petri Nets and Their Applications to Workflow Management. Paper submission deadline is August 1, 2005.

June 6, 2005: Second Call for Papers: 3rd Workshop on Object-oriented Modeling of Embedded Real-Time Systems. Paper submission deadline is July 1, 2005.

June 6, 2005: Second Call for Papers: Fifth International Workshop on Automated Verification of Critical Systems. Paper submission deadline is June 13, 2005.

June 6, 2005: Deadline Extension: Paper Submission Deadline for the IPM International Workshop on Foundations of Software Engineering is extended to June 24, 2005.

May 30, 2005: Call for Papers: 17th Nordic Workshop on Programming Theory. Abstract submission deadline is September 19, 2005.

May 30, 2005: Call for Tool Exhibition at ATPN05: Tool exhibition requests should be sent to Dr. Shu-Ching Chen no later than June 10, 2005.

May 30, 2005: Second Call for Papers: Workshop on Visual Modeling for Software Intensive Systems. Paper submission deadline is June 20, 2005.

May 30, 2005: PhD and PostDoc position at Systems Engineering and Discrete Event Systems Group Department of Computer Science and Systems Engineering University of Zaragoza, Spain. Applicants should send their CVs before June 15, 2005!

May 30, 2005: Call for Tutorial Proposals for the 2nd International Conference on Quantitative Evaluation of SysTems. Proposals should be send until June 9, 2005.

May 30, 2005: Second Call for Papers: Graph Transformation for Verification and Concurrency, Satellite workshop to CONCUR 2005. Paper submission deadline is June 5, 2005.

May 18,2005: Tool: The first public release of Yasper, an editor and simulator for Petri nets is available now. Yasper was designed to make creating and simulating workflow process models as quick and easy as possible.

May 9, 2005: Call for Participation: Second Workshop on the Petri Net Markup Language. The Standard Exchange format for High-level Petri Nets based on the Petri Net Markup Language will be finalized. Participation is free of charge. But registration is required in order to properly organize the event.

May 9, 2005: Second Call for Papers: Workshop on Business Process Reference Models (Satellite Workshop of BPM 2005). Paper submission deadline is May 22, 2005.

May 9, 2005: Call for papers: Third International Symposium on Automated Technology for Verification and Analysis. Among the various topics are established formalisms such as Petri Nets. Paper submission deadline is May 23, 2005.

May 2, 2005: Call for papers: International Conference on Computational Intelligence for Modelling, Control and Automation. Various topics to address the issues in computational intelligence, modelling, control and automation. Paper submission deadline is August 31, 2005.

May 2, 2005: Extended paper submission deadline: 17th European Simulation Symposium and Exhibition. The new paper submission deadline is May 18, 2005.

May 2, 2005: Extended paper submission deadline: 13th Annual Meeting of the IEEE / ACM* International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Various topics (both theoretical and practical) on modeling and analysis of computer systems. The new paper submission deadline is May 13, 2005.

May 2, 2005: Added information on the research group at the Odessa National Telecommunication Academy, Ukraine.

April 25, 2005: 12th Workshop Algorithms and Tools for Petri Nets. Paper and tool demo submission deadline is August 1, 2005.

April 25, 2005: Second Call for papers: 12th International Workshop on Expressiveness in Concurrency. The focus is on formal methods particularly in the field of Concurrency. Paper submission deadline is June 1, 2005.

April 20, 2005: Added information on the research group at the University of Táchira, Departamento de Ingenieria Electronica/Decanato de Investigación San Cristobal, Venezuela.

April 20, 2005: Updated information on the research group at Murdoch University, School of Engineering, Australia.

April 18, 2005: A detailed report and a repository with CPN models are available online now.

April 18, 2005: Call for papers: 13th Annual Meeting of the IEEE / ACM* International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Various topics (both theoretical and practical) on modeling and analysis of computer systems. Paper submission deadline is May 6, 2005.

April 15, 2005: Extended paper submission deadline: Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management at Petri Nets 2005. One of the topics is formal methods (Petri nets, process algebras etc.). The new paper submission deadline is April 25, 2005.

April 15, 2005: Call for papers: Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. There are various topics on coloured Petri nets. Paper submission deadline is August 15, 2005.

April 15, 2005: Second call for papers: Symposium on Automated Technology for Verification and Analysis. One of the topics is Petri nets. Paper submission deadline is May 23, 2004.

April 7, 2005: New tool: WoPeD, a Java-based tool for editing, managing, simulating and analysing Workflow Petri nets.

April 7, 2005: Reminder: Second Workshop on the Petri Net Markup Language Towards an ISO/IEC Standard Transfer Syntax for Petri Nets (PNML'05). Held in conjunction with the ISO/IEC JTC1/SC7 Plenary and Working Group Meetings. Paper submission deadline is April 10, 2005.

March 31, 2005: Programme available and call for participation: Conference on Application of Concurrency to System Design. There are several accepted papers on Petri nets. Early registration deadline is April 30, 2005.

March 23, 2005: Two postdocs positions in the Computer Systems Engineering Centre at the University of South Australia, Adelaide. Candidates will be expected to have expertise in High-level Petri Nets among other skills.

March 23, 2005: Extended paper submission deadline: 2nd International Conference on Quantitative Evaluation of Systems (QEST 2005). One of the topics is stochastic and timed Petri nets. The new paper submission deadline is April 4, 2005.

March 18, 2005: Call for papers: Conference on Formal Modelling and Analysis of Timed Systems. One of the topics is timed Petri nets. Paper submission deadline is May 20, 2005.

March 16, 2005: Call for papers: Workshop on Expressiveness in Concurrency. One of the topics is comparison between mathematical models of computation such Petri nets. Paper submission deadline is June 1, 2005.

March 16, 2005: Call for papers: European Simulation and Modelling Conference. There is a workshop on simulation with Petri nets. Paper submission deadline is July 1, 2005.

March 5, 2005: Call for papers: Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management at Petri Nets 2005. One of the topics is formal methods (Petri nets, process algebras etc.). Paper submission deadline is April 10, 2005.

February 26, 2005: List of accepted papers and tool presentations for the Petri Nets 2005 conference is now available.

February 26, 2005: Third call for papers: 2nd International Conference on Quantitative Evaluation of Systems (QEST 2005). One of the topics is stochastic and timed Petri nets. Paper submission deadline is March 28, 2005.

February 26, 2005: Call for papers: Symposium on Automated Technology for Verification and Analysis. One of the topics is Petri nets. Paper submission deadline is May 23, 2004.

February 26, 2005: Call for contributions to a book: Hybrid Petri Net and Intelligent Information Systems or Knowledge and Intelligent Petri Nets. Paper submission deadline is March 31, 2005.

February 13, 2005: Call for papers: Second Workshop on the Petri Net Markup Language Towards an ISO/IEC Standard Transfer Syntax for Petri Nets (PNML'05). Held in conjunction with the ISO/IEC JTC1/SC7 Plenary and Working Group Meetings. Paper submission deadline is April 10, 2005.

February 3, 2005: Call for papers: Conference on Analytical and Stochastic Modelling Techniques and Applications. One of the topics is stochastic Petri net models. Paper submission deadline is February 14, 2005.

January 30, 2005: Second call for papers: 2nd International Conference on Quantitative Evaluation of Systems (QEST 2005). One of the topics is stochastic and timed Petri nets. Paper submission deadline is March 28, 2005.

January 30, 2005: Extended paper submission deadline: Workshop on Verification and Validation of Enterprise Information Systems at ICEIS 2005. One of the topics is Petri nets. The new paper submission deadline is February 15, 2005.

January 25, 2005: Fourth call for papers: Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing. One of the topics is Petri nets and concurrency. Paper submission deadline is February 14, 2005.

January 16, 2005: Call for papers: Special Issue on Practical Applications of Stochastic Modelling. One of the topics is stochastic Petri nets. Paper submission deadline is June 17, 2005.

January 8, 2005: Added information on the research group at Zhejiang University, Institute of Advanced Process Control, China.