What was New in 2004

December 30, 2004: Call for papers: Annual Industrial Simulation Conference. One of the topics is Petri nets. Paper submission deadline is January 20, 2005.

December 30, 2004: 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.

December 17, 2004: New tool entry added to the Petri Nets tools database: ProM framework, a framework for implementing process mining tools supporting Place/Transition nets.

December 14, 2004: Extended paper submission deadline: Conference on Application of Concurrency to System Design. One of the topics is methods for design of synchronous or asynchronous systems based on models of concurrency, such as Petri nets. The new paper submission deadline is December 17, 2004.

December 8, 2004: 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.

December 8, 2004: Second call for papers: Conference on Business Process Management. The BPM 2005 conference welcomes papers applying Petri nets to business process management, workflow management, process analysis, process mining, etc. Paper submission deadline is March 18, 2005.

December 8, 2004: Programme available for I2TS 2004. One of the accepted papers is on Petri nets.

November 28, 2004: Call for papers: Special Session On Software Architecture at IMCSE 2005. One of the topics is Petri net based approach to software architecture of agent systems. Paper submission deadline is February 16, 2005.

November 28, 2004: Book announcement: Discrete, Continuous and Hybrid Petri Nets by René David and Hassane Alla.

November 26, 2004: CPN Tools version 1.2, developed by the CPN Group at the University of Aarhus, Denmark, has been released.

November 23, 2004: Call for papers: Invited Session on Dynamic Programming and Petri Nets at IFORS 2005. One of the topics is the use of Petri net models to solve dynamic programming problems. Paper submission deadline (abstracts) is January 1, 2005.

November 17, 2004: Second call for papers: Conference on Application of Concurrency to System Design. One of the topics is methods for design of synchronous or asynchronous systems based on models of concurrency, such as Petri nets. Paper submission deadline is December 10, 2004.

November 16, 2004: Book announcement: Lectures on Concurrency and Petri Nets, Advances in Petri Nets edited by J. Desel, W. Reisig, and G. Rozenberg. It originates from the 4th Advanced Course on Petri Nets, ACPN 2003.

November 12, 2004: A new draft version for PNML, a Petri Net Transfer Format, is now available online. This draft is now circulated as an official Working Draft for the International Standard ISO/IEC 15909 Part 2. Official comments on this Working Draft can be contributed via the national bodies of ISO/IEC.

October 31, 2004: Extended paper submission deadline: Design, Analysis, and Simulation of Distributed Systems. One of the topics is Petri nets and other models. The new paper submission deadline is November 22, 2004.

October 22, 2004: Electronic submission now open for papers and tool presentations for Petri Nets 2005. Paper submission deadline is November 15, 2004.

October 22, 2004: Call for papers: Conference on Application of Concurrency to System Design. One of the topics is methods for design of synchronous or asynchronous systems based on models of concurrency, such as Petri nets. Paper submission deadline is December 10, 2004.

October 22, 2004: Added information on the research group at Universidade Nova de Lisboa, Portugal.

October 14, 2004: Tina version 2.7.0, a new, major, release of the Tina toolbox for edition and analysis of Petri nets and Time Petri nets, has been released.

October 14, 2004: The proceedings, some slides, and some pictures are available from the Workshop on Algorithms and Tools for Petri Nets.

October 14, 2004: The EASST Newsletter has got a column on visual modeling. One of the topics is Petri nets. Paper submission deadline is November 15, 2004.

October 1, 2004: Second call for papers: Design, Analysis, and Simulation of Distributed Systems. One of the topics is Petri nets and other models. Paper submission deadline is October 31, 2004.

September 29, 2004: Call for papers: Workshop on Verification and Validation of Enterprise Information Systems at ICEIS 2005. One of the topics is Petri nets. Paper submission deadline is January 25, 2005.

September 29, 2004: Call for papers: Workshop on Organizational Modeling and Simulation Using Petri Nets at ICEIS 2005. Paper submission deadline is January 25, 2005.

September 27, 2004: Reminder: Early registration deadline for ATVA 2004 is September 30, 2004. There are several accepted papers on Petri nets.

September 22, 2004: Call for papers: Invited Session on Time Petri Nets and Industrial Applications at IMACS 2005. Paper submission deadline is October 15, 2004.

September 20, 2004: PhD position available at Eindhoven University of Technology in the project Configurable and Executable Reference Models. Candidates with Petri nets experience are explicitly invited to apply for the position.

September 20, 2004: PhD position available in Modelling and Verification of Business Processes at the Computer Science Department of the Eindhoven University of Technology. Candidates should have a Masters Degree in Computer Science with a strong mathematical component and experience in process modelling and verification techniques (e.g. Petri nets).

September 14, 2004: Call for papers: Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management at Petri Nets 2005. Paper submission deadline is March 10, 2005.

September 14, 2004: Call for papers: Invited Session on Formal Methods for Real-Time Systems at WPDRTS'05. One of the topics is Advances in theory of timed DES such as timed Petri nets. Paper submission deadline is October 15, 2004.

September 9, 2004: The exact date, time, and place of the Hamburg lecture of Prof. C.A. Petri (September 27-October 1, 2004) are now available online.

September 9, 2004: Programme available and call for participation: Joint workshops CPN'04 and MOCA'04. The registration deadline is September 26, 2004.

September 9, 2004: Programme available for ATVA 2004. There are several accepted papers on Petri nets. Early registration deadline is September 31, 2004.

August 30, 2004: Call for papers: Conference on Business Process Management. The BPM 2005 conference welcomes papers applying Petri nets to business process management, workflow management, process analysis, process mining, etc. Paper submission deadline is March 18, 2005.

August 30, 2004: Call for papers: Invited Session on Petri Nets for Discrete-Event Modeling and Control. Paper submission deadline is September 1, 2004.

August 20, 2004: Second call for participation: 1st International Conference on Quantitative Evaluation of Systems (QEST 2004). One of the topics is stochastic and timed Petri nets. New early registration deadline is September 1, 2004.

August 13, 2004: Programme available and call for participation: Workshop on Algorithms and Tools for Petri Nets. The deadline for the registration at the hotel is August 15, 2004. The registration deadline for the workshop is August 29, 2004.

August 11, 2004: The Petri Nets bibliography has been updated. There are now more than 8880 entries, and it includes entries published in the Petri Net Newsletter up to and including #66.

August 10, 2004: New tool entry added to the Petri Nets tools database: Petri .NET Simulator, a tool with support for P/T nets with time.

August 9, 2004: New tool entry added to the Petri Nets tools database: P3, a tool with support for PNML and a Petri nets ontology.

August 3, 2004: PhD position available at TU Eindhoven, The Netherlands. Experience with formal methods (e.g., Petri nets or process algebra) and/or with actual process modeling techniques such as UML are welcome.

July 19, 2004: News from the latest steering committee meeting: To stress the interaction with other communities the steering committee has decided to extend the name of the Petri net conference to: International Conference on Application and Theory of Petri Nets and Other Models of Concurrency.

July 18, 2004: Added information on the research group at Federal University of Campina Grandet, Brazil.

July 16, 2004: New members in the steering committee: Jetty Kleijn, The Netherlands and Lucia Pomello, Italy.

July 16, 2004: Call for participation: Conference on Concurrency Theory. One of the topics is basic models and logics of concurrent and distributed computation such as Petri nets. Early registration deadline is July 30, 2004.

July 16, 2004: Call for papers reminder: Workshop on Algorithms and Tools for Petri Nets. Paper submission deadline is August 1, 2004.

July 16, 2004: Call for participation: Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems. One of the topics is stochastic Petri nets. Early registration deadline is August 13, 2004.

July 16, 2004: Carl Adam Petri will give a one-week lecture on his work on September 27-October 1, each day about 2 hours in the afternoon (in German) at the University of Hamburg, Germany.

July 16, 2004: Call for participation: 1st International Conference on Quantitative Evaluation of Systems (QEST 2004). One of the topics is stochastic and timed Petri nets. Early registration deadline is August 15, 2004.

July 16, 2004: The proceedings of the XML4PN workshop at Petri Nets 2004 are now available online.

July 16, 2004: Call for participation: Conference on Graph Transformation. One of the topics is actor systems and Petri nets. Early registration deadline is August 6, 2004.

July 15, 2004: Call for papers: Conference on Robotics, Automation and Mechatronics. One of the topics is Petri nets. Paper submission deadline is July 15, 2004.

July 1, 2004: Call for papers: Design, Analysis, and Simulation of Distributed Systems. One of the topics is Petri nets and other models. Paper submission deadline is October 31, 2004.

June 24, 2004: Programme now available for the Workshop on Security Issues with Petri Nets and other Computational Models at Petri Nets 2004.

June 24, 2004: Call for papers: The 2004 European Simulation and Modelling Conference. There is a workshop on simulation with Petri nets. Paper submission deadline is July 1, 2004.

June 22, 2004: Added information on the research group at Technical University of Moldova.

June 16, 2004: Added information on the research group at Technical University of Crete, Greece.

June 10, 2004: Extended submission deadline: Special session for IFORS 2005. The conference will include one or more sessions on "Dynamic Programming and Petri Nets". Send expression of interest by July 15, 2004.

June 9, 2004: Call for papers: Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. One of the topics is analysis techniques and formal methods. Paper submission deadline is June 28, 2004.

June 8, 2004: PhD Positions available on Business Process Management, Workflow Management, Process Mining, and Petri nets, at Eindhoven University of Technology, the Netherlands.

June 8, 2004: List of accepted papers now available for QEST 2004. There are several accepted papers on Petri nets.

June 8, 2004: New tool entry added to the Petri Nets tools database: COSA BPM, a tool with Petri net based workflow management support.

June 3, 2004: New tool entries added to the Petri Nets tools database: FLOWer, Protos, and XRL/flower. They all have Petri net based workflow management support.

June 3, 2003: The tool database has been cleaned up. The following tools have been removed due to lack of validation response for several years from the tool maintainers: DPNSchematic, EDS Petri Net Tool, and Marigold.

May 19, 2004: Second 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 6, 2004.

May 19, 2004: New tool entry added to the Petri Nets tools database: YAWL, a tool supporting a workflow language based on high-level Petri nets.

May 18, 2004: Extended paper submission deadline: Symposium on Automated Technology for Verification and Analysis. One of the topics is Petri nets. The new paper submission deadline is May 31, 2004.

May 17, 2004: Added information on the research group at RWTH Aachen University, Institute of Automatic Control, Germany.

May 17, 2004: Second extended paper submission deadline: Workshop on Practical Applications of Stochastic Modelling. One of the topics is stochastic Petri nets. The new paper submission deadline is May 24, 2004.

May 13, 2004: Second call for papers: Fifth 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 1, 2004.

May 13, 2004: Second call for papers: Third Workshop on Modelling of Objects, Components, and Agents. There are topics on Petri nets in relation with objects, components, and agents. Paper submission deadline is August 1, 2004.

May 13, 2004: Second call for participation: Conference on Business Process Management. Programme is available, where there are accepted papers and a tutorial on Petri nets and workflow modelling.

May 5, 2004: Final call for participation: 25th International Conference on Application and Theory of Petri Nets (Petri Nets 2004). The hotel reservation deadline is May 10, 2004.

May 4, 2004: Third call for papers: Symposium on Automated Technology for Verification and Analysis. One of the topics is Petri nets. Paper submission deadline is May 20, 2004.

May 4, 2004: Second call for participation: School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time. One of the sessions is on timed Petri nets. Registration deadline is May 31, 2004.

April 26, 2004: Extended paper submission deadline: Workshop on Practical Applications of Stochastic Modelling. One of the topics is stochastic Petri nets. The new paper submission deadline is May 17, 2004.

April 23, 2004: Call for tool demonstrations: 1st International Conference on Quantitative Evaluation of Systems (QEST 2004). One of the topics is stochastic and timed Petri nets. The deadline for submitting tool descriptions is April 30, 2004.

April 23, 2004: The current working draft of the transfer syntax for high-level Petri nets based on PNML, which will be part 2 of the ISO/IEC International Standard 15909, has been put on the Web for comments.

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

April 21, 2004: Call for papers: Special Session on Neural and Mathematical Modeling of Neuroimaging Data. One of the topics is mathematical modeling of neuroimaging and neurophysiological data with Petri nets. Paper submission deadline is May 31, 2004.

April 16, 2004: Last call for papers: Conference on Graph Transformation. One of the topics is actor systems and Petri nets. Paper submission deadline (abstracts) is April 19, 2004.

April 6, 2004: New tool entry added to the Petri Nets tools database: Netlab, a tool supporting P/T nets and making simulation in Matlab/Simulink.

April 5, 2004: Call for participation: 25th International Conference on Application and Theory of Petri Nets (Petri Nets 2004). Early registration deadline is April 30, 2004.

April 5, 2004: Extended paper submission deadline for the Workshop on Security Issues with Petri Nets and other Computational Models at Petri Nets 2004. The new paper submission deadline (abstracts) is April 9, 2004.

April 5, 2004: Call for participation: Conference on Business Process Management. There are accepted papers and a tutorial on Petri nets and workflow modelling. Early registration deadline is April 30, 2004.

April 5, 2004: Call for participation: Conference on Application of Concurrency to System Design. There are topics on Petri nets. Early registration deadline is May 1, 2004.

April 5, 2004: How is Petri nets written and pronounced in Hebrew? See the FAQ.

March 31, 2004: Final call for papers: Conference on Concurrency Theory. One of the topics is basic models and logics of concurrent and distributed computation such as Petri nets. Paper submission deadline is April 9, 2004.

March 31, 2004: Second call for papers: European Performance Engineering Workshop. One of the topics is formal modelling paradigms such as stochastic Petri nets. Paper submission deadline is April 12, 2004.

March 26, 2004: Second call for papers: Workshop on Practical Applications of Stochastic Modelling. One of the topics is stochastic Petri nets. Paper submission deadline is April 30, 2004.

March 26, 2004: Extended paper submission deadline: 1st International Conference on Quantitative Evaluation of Systems (QEST 2004). One of the topics is stochastic and timed Petri nets. The new paper submission deadline (abstracts) is April 1, 2004.

March 26, 2004: PhD position available at the Eindhoven University of Technology, the Netherlands. Petri nets is mentioned in the project description.

March 18, 2004: Call for papers: Conference on Concurrency Theory. One of the topics is basic models and logics of concurrent and distributed computation such as Petri nets. Paper submission deadline is April 9, 2004.

March 17, 2004: Call for papers: Conference on Formal Engineering Methods. Previous conferences have accepted papers on Petri nets. Paper submission deadline is May 15, 2004.

March 15, 2004: Extended paper submission deadline: Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets at Petri Nets 2004. The new paper submission deadline is April 11, 2004.

March 15, 2004: New tool entry added to the Petri Nets tools database: JPetriNet, a tool supporting timed Petri nets.

March 11, 2004: Postdoc position available in workflow theory at Queensland University of Technology, Australia. Candidates are sought that can demonstrate their knowledge of formal theories of concurrency and in particular Petri nets.

March 11, 2004: Final call for papers: Workshop on Security Issues with Petri Nets and other Computational Models at Petri Nets 2004. Paper submission deadline is April 2, 2004.

March 10, 2004: Paper submission deadline extended to March 22 for FORTE 2004. One of the topics is formal methods such as Petri nets.

March 10, 2004: Final call for papers: 1st International Conference on Quantitative Evaluation of Systems (QEST 2004). One of the topics is stochastic and timed Petri nets. Paper submission deadline (abstracts) is March 22, 2004. The online submission pages are now open.

March 9, 2004: Second call for papers: Workshop on Token Based Computing Petri Nets 2004. Paper submission deadline is March 14, 2004. They encourage people whose papers were not selected for the main PN conference to consider this workshop.

March 5, 2004: Call for papers: Workshop on Real-Time Programming. One of the topics is formal methods in discrete control systems. Paper submission deadline is April 15, 2004.

March 4, 2004: Call for papers: Symposium on Automated Technology for Verification and Analysis. One of the topics is Petri nets. Paper submission deadline is May 20, 2004.

March 3, 2004: New application for the Petri Net Kernel is now available, namely PNVis. It supports 3D-visualization of Petri net models.

March 2, 2004: Advance program for DSN 2004 available. One of the papers accepted is on deterministic stochastic Petri nets.

March 1, 2004: Paper submission deadline extended to March 18 for MMB&PGTS'04. One of the topics stochastic Petri nets.

March 1, 2004: Call for papers: Workshop on Algorithms and Tools for Petri Nets. Paper submission deadline is August 1, 2004.

March 1, 2004: PhD position available at the Eindhoven University of Technology, the Netherlands. They are looking for candidates with a mathematical background and experience in process modelling techniques, e.g., Petri nets.

February 27, 2004: Last call for papers: Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets at Petri Nets 2004. Paper submission deadline is March 5, 2004.

February 27, 2004: Paper submission deadline extended to March 12 for SASYFT 2004. One of the topics Petri nets.

February 23, 2004: Final programme available for Petri Nets 2004.

February 20, 2004: Nice interactive tutorials to Petri nets, state spaces, and invariants were added. The tutorials were contributed by Wil van der Aalst et al.

February 20, 2004: 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 6, 2004.

February 18, 2004: Call for papers: European Performance Engineering Workshop. One of the topics is formal modelling paradigms such as stochastic Petri nets. Paper submission deadline is April 12, 2004.

February 18, 2004: Call for papers: Conference on Formal Techniques for Networked and Distributed Systems. One of the topics is formal methods such as Petri nets. Paper submission deadline (abstracts) is March 10, 2004.

February 17, 2004: Call for papers: Fifth 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 1, 2004.

February 17, 2004: Call for papers: Third Workshop on Modelling of Objects, Components, and Agents. There are topics on Petri nets in relation with objects, components, and agents. Paper submission deadline is August 1, 2004.

February 16, 2004: Second call for papers: Workshop on Petri Nets and Coordination at Petri Nets 2004. Paper submission deadline is March 1, 2004.

February 11, 2004: Call for papers: Special Issue for International Journal of Knowledge-Based Intelligent Engineering Systems: Integrated Intelligent Systems in Design of Products, Processes and Systems. One of the topics is knowledge and intelligent Petri Net applications in product design and development. Paper submission deadline is April 30, 2004.

February 11, 2004: Call for papers: Workshop on Token Based Computing Petri Nets 2004. Paper submission deadline is March 14, 2004.

February 6, 2004: Second call for papers: Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets at Petri Nets 2004. Paper submission deadline is March 5, 2004.

February 6, 2004: Second call for papers: Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems. One of the topics is stochastic Petri nets. Paper submission deadline is March 4, 2004.

February 5, 2004: Call for papers: Conference on Cooperative Information Systems. Contributions linking Petri nets to cooperative information systems are more than welcome. Paper submission deadline (abstracts) is May 30, 2004.

February 3, 2004: Call for participation: School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time. One of the sessions is on timed Petri nets. Registration deadline is May 31, 2004.

January 30, 2004: Call for papers: Symposium on Visual Languages and Human-Centric Computing. One of the topics is visual modeling languages. Paper submission deadline is March 15, 2004.

January 30, 2004: Call for papers: Conference on Formal Methods in Computer-Aided Design. One of the topics is case studies and applications of formal methods in industry. Paper submission deadline is April 1, 2004.

January 27, 2004: Call for papers: Conference on Graph Transformation. One of the topics is actor systems and Petri nets. Paper submission deadline (abstracts) is April 19, 2004. There is also a satellite event on Petri Nets and Graph Transformations.

January 26, 2004: Call for papers: Workshop on Practical Applications of Stochastic Modelling. One of the topics is stochastic Petri nets. Paper submission deadline is April 30, 2004.

January 23, 2004: Second call for papers: Conference on Software Engineering Research and Practice. One of the topics is application of Petri nets in architectural specifications. Paper submission deadline is February 16, 2004.

January 21, 2004: Call for papers: 1st International Conference on Quantitative Evaluation of Systems (QEST 2004). One of the topics is stochastic and timed Petri nets. Paper submission deadline (abstracts) is March 22, 2004. QEST is a new series of annual conferences that recently emerged as the merger of the following individual conferences: TOOLS, PNPM, and PAPM-ProbMIV.

January 19, 2004: Call for papers: Workshop on Security Analysis of Systems: Formalisms and Tools. Petri nets is mentioned in the topics description. Paper submission deadline is March 5, 2004.

January 19, 2004: Call for papers: Conference on Control Applications. One of the topics is fuzzy and neural control, Petri nets. Paper submission deadline is January 31, 2004.

January 15, 2004: Added information on the research group at University of Zilina, Faculty of Management Science and Informatics, Slovak Republic.

January 14, 2004: Submission deadline for 100-words abstract to organizers extended to January 25, 2004 for invited session on Petri Nets and Discrete Event Systems at SMC 2004. One of the topics is formal models in business process management.

January 9, 2004: New book available: Petri Net Technology for Communication-Based Systems edited by H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber.

January 9, 2004: Paper submission deadline extended to January 11, 2004 for BPM 2004. One of the topics is formal models in business process management.

January 8, 2004: Call for papers: Special Session on Petri Nets and Discrete-Event Systems at ISAS and CITSA 2004. Paper submission deadline is March 8, 2004.

January 6, 2004: Paper submission deadline for abstracts extended to January 10, 2004 for Special Session on: Supervisory Control: Theory and Applications at WODES'04. One of the topics is formalisms and modelling methodologies such as Petri Nets.