What was New in 2003

December 28, 2003: 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.

December 20, 2003: PhD positions within IBM's Business Process Integration and Automation (BPIA) Project are available. Petri Nets are mentioned in the project description.

December 20, 2003: The Software Reliability and Security Group at the University of Stuttgart, Germany, has two open PhD positions. Applicants with experience in topics such as concurrency theory and Petri Nets are preferred.

December 20, 2003: Call for papers: Special Session on Petri Nets in Automation Systems at CONTROLO 2004. One of the topics is modularity in Petri Net models and application to automation system controllers, from design to synthesis. Paper submission deadline is January 30, 2004.

December 18, 2003: Paper submission deadline extended to January 15, 2004 for VVEIS 2004. One of the topics is Petri Nets.

December 18, 2003: Call for participation: Spring School on Theoretical Computer Science: Concurrency theory and applications. There are several sessions related with Petri Nets. Registration deadline is January 31, 2004.

December 18, 2003: Call for papers: Invited Session on Petri Nets and Discrete Event Systems at SMC 2004. One of the topics is application of Petri Nets and other discrete event system models. Paper submission deadline (abstracts) is March 19, 2004.

December 15, 2003: Paper submission deadline extended to January 5, 2004 for ACSD 2004. One of the topics is methods for design of synchronous or asynchronous systems based on models of concurrency such as Petri Nets.

December 11, 2003: 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.

December 4, 2003: Call for papers: Workshop on Petri Nets and Coordination at Petri Nets 2004. Paper submission deadline is March 1, 2004.

December 2, 2003: Call for papers: Invitation to the Special Session on: Supervisory Control: Theory and Applications. One of the topics is formalisms and modelling methodologies such as Petri Nets. Paper submission deadline (abstracts) is December 15, 2003.

November 28, 2003: 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.

November 26, 2003: Added information on the research group at University of Zaragoza, Computer Science and Systems Engineering Department, Spain.

November 25, 2003: 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.

November 21, 2003: Call for papers: Special Session on Colored Petri Nets: Theory and Applications at WODES'04. There are various topics on Coloured Petri Nets. Paper submission deadline (abstracts) is December 15, 2003.

November 21, 2003: Discrete event simulation job available at Amgen. Expertise in discrete event simulation is required. Training and experience building colored, timed, stochastic and higher order Petri net models is highly desirable.

November 10, 2003: PhD position available at University of Twente, the Netherlands. Topics include infinite-state stochastic Petri Nets.

November 5, 2003: Call for participation: Workshop on Automated Technology for Verification and Analysis. There is a paper accepted on Petri Nets.

October 31, 2003: Paper submission deadline extended to November 16 for DASD 2004. One of the topics is design and implementation approaches for complex systems using Petri Nets.

October 27, 2003: Call for papers: Special Session on "Petri Nets in Manufacturing" at INCOM 2004. There are various topics on Petri Nets. Paper submission deadline is November 24, 2003.

October 24, 2003: The Petri Nets bibliography has been updated. There are now more than 8500 entries.

October 22, 2003: Second call for papers: 25th International Conference on Application and Theory of Petri Nets (Petri Nets 2004), June 21-25, 2004, Bologna, Italy. Paper submission deadline is November 15, 2003.

October 21, 2003: Programme available for ICFEM 2003. There are several accepted papers on Petri Nets.

October 8, 2003: PhD position on workflow management available at Eindhoven University of Technology. They are particularly interested in candidates that can bridge the gap between computer science (e.g., Petri Net modeling) and social sciences (e.g., sociotechnical design).

October 5, 2003: 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 19, 2003.

October 2, 2003: Second call for papers: Conference on Design, Analysis, and Simulation of Distributed Systems. One of the topics is Petri Nets and other models. Paper submission deadline is October 31, 2003.

September 23, 2003: Programme available for the Workshop on Compositional Verification of UML Models. One of the accepted papers is on Petri Nets.

September 21, 2003: Two open positions for PhD students at University of Zaragoza, Spain. The project in question will be mainly focused on the formalism of continuous Petri nets.

September 15, 2003: Call for papers: Information and Telecommunication Technologies Symposium. One of the topics is formal methods and validation techniques. Paper submission deadline is September 27, 2003.

September 10, 2003: Call for papers: Workshop on Verification and Validation of Enterprise Information Systems. One of the topics is Petri Nets. Paper submission deadline is December 15, 2003.

September 3, 2003: Call for participation: Conference on Formal Techniques for Networked and Distributed Systems. There are papers and invited talks on Petri Nets. Early registration deadline is September 5, 2003.

August 28, 2003: New tool entry added to the Petri Nets tools database: DPNSchematic, a tool supporting D-extended PN.

August 28, 2003: Added information on the research group at Sharif University of Technology, Iran.

August 26, 2003: Paper submission deadline extended to September 10 for ATVA 2003. One of the topics is Petri Nets.

August 19, 2003: Call for papers: 25th International Conference on Application and Theory of Petri Nets, June 21-25, 2004, Bologna, Italy. Paper submission deadline is November 15, 2003.

August 11, 2003: Added information on the research group at Hamdard University, Pakistan.

July 18, 2003: Slides from presentations and photographs taken at the Petri Nets 2003 and BPM 2003 conferences are now available online.

July 17, 2003: New tool entry added to the Petri Nets tools database: StpnPlay, a tool supporting Stochastic Petri Nets.

July 16, 2003: Second call for participation: 4th Advanced Course on Petri Nets. It will be held September 15-26, 2003, in Eichstätt, Germany. The registration deadline is July 31, 2003.

July 16, 2003: Second call for papers: Workshop on Algorithms and Tools for Petri Nets. Paper submission deadline is July 31, 2003.

July 14, 2003: Call for participation: Seminar on Model-based Testing of Reactive Systems. One of the topics is model-based testing. Registration deadline is August 30, 2003.

July 8, 2003: Call for papers: Conference on Integrated Formal Methods. One of the topics is integration of formal methods with informal or semi-formal diagrammatic notations and structuring techniques. Paper submission deadline is September 15, 2003.

July 3, 2003: Call for participation: Workshop on Petri Nets and Performance Models. A detailed programme is now available. Early registration deadline is July 7, 2003.

July 2, 2003: News from the steering committee: The Petri Nets conference will be held in South Korea in 2005, and in Turku (Åbo), Finland in 2006.

July 2, 2003: New members in the steering committee: Wil van der Aalst, the Netherlands and Jörg Desel, Germany.

June 30, 2003: New book: Theoretische Informatik - Petri-Netze by L. Pries and H. Wimmel. The book is written in German.

June 26, 2003: Conference dates have changed for the DASD 2004 conference, namely to April 18-22, 2004. There are topics on Petri Nets, and the paper submission deadline is still October 31, 2003.

June 23, 2003: New tool entry added to the Petri Nets tools database: Petrigen, a tool written in Tcl/Tk and offering synthesis of Petri Nets from structural and behavioral specifications.

June 20, 2003: Second call for papers: Workshop on Automated Technology for Verification and Analysis. One of the topics is Petri Nets. Paper submission deadline is now August 25, 2003.

June 18, 2003: The keynote lecture given by Prof.Dr. Carl Adam Petri at the Petri Nets 2003 conference will be open for all interested without registering for the conference.

June 4, 2003: Prof.Dr. Carl Adam Petri will receive a royal award for his work on concurrency at a ceremony at the Petri Nets 2003 conference.

June 2, 2003: The Petri Nets 2003 proceedings are now available online for those with a SpringerLink subscription.

June 2, 2003: The tool database has been cleaned up. The following tools has been removed due no validation response from the tool owners: Stroboscope, TPTPN, and VIPtool.

May 30, 2003: Call for papers: Workshop on Algorithms and Tools for Petri Nets, a satellite event of 4th Advanced Course on Petri Nets. Paper submission deadline is July 31, 2003.

May 30, 2003: Call for participation: Workshop on Stochastic Petri Nets and Related Formalisms. Detailed programme now available.

May 30, 2003: Call for papers: Conference on Design, Analysis, and Simulation of Distributed Systems. One of the topics is Petri Nets and other models. Paper submission deadline is October 31, 2003.

May 30, 2003: Call for participation: 4th Advanced Course on Petri Nets. It will be held September 15-26, 2003, in Eichstätt, Germany. The registration deadline is July 31, 2003. A list of lecturers is now also available.

May 30, 2003: Programme and call for participation: Workshop on Issues in Security and Petri Nets at Petri Nets 2003.

May 30, 2003: Added information on the research group at University of Belgrade, Serbia and Montenegro.

May 26, 2003: There will be a keynote lecture by Prof.Dr. Carl Adam Petri at the Petri Nets 2003 conference. The title of the talk is Net Modelling - Fit for Science?

May 17, 2003: New tool entry added to the Petri Nets tools database: Romeo, a tool supporting Petri Nets with time.

May 17, 2003: Conference programme now available for Petri Nets 2003.

May 17, 2003: Conference programme now available for BPM 2003. There are several papers accepted on Petri Nets. The conference is held in conjunction with Petri Nets 2003.

May 13, 2003: Call for papers: The 2003 European Simulation and Modelling Conference. There are several Petri Nets topics and a workshop on simulation with Petri Nets. Paper submission deadline is June 30, 2003.

May 12, 2003: Call for tutorials: Conference on Software Engineering and Formal Methods. Deadline for proposals is June 1, 2003.

May 8, 2003: Paper submission deadline extended to May 22 for Workshop on Stochastic Petri Nets and Related Formalisms.

April 11, 2003: Paper submission deadline extended to April 30 for ETFA 2003. There are topics on Petri Nets.

April 7, 2003: Added information on the research group at Technical University of Kosice, Slovak Republic.

April 4, 2003: Reminder: Invited Sessions/Track on Petri Nets and Discrete Event Systems at SMC 2003. Submission of paper information to the organisers is due April 10, 2003.

April 2, 2003: The list of papers accepted for ACSD 2003 is now available. There are several papers on Petri Nets.

April 1, 2003: Call for papers: Forum on specification and Design Languages. One of the topics is languages for formal methods such as Petri Nets. Paper submission deadline is April 4, 2003.

March 31, 2003: Call for participation: Workshop on Discrete Event Systems Control at Petri Nets 2003. The list of talks is now also available.

March 28, 2003: Call for papers: Workshop on Automated Technology for Verification and Analysis. One of the topics is Petri Nets. Paper submission deadline is July 1, 2003.

March 21, 2003: Reminder: The tool demonstration submission deadline the Multi-conference on Measurement, Modelling, and Evaluation of Computer-Communication Systems is March 24, 2003.

March 21, 2003: Call for papers: Workshop on Stochastic Petri Nets and Related Formalisms. There are various topics on stochastic Petri Nets. Paper submission deadline is May 1, 2003.

March 19, 2003: 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, 2003.

March 17, 2003: Reminder: Workshop on Issues in Security and Petri Nets at Petri Nets 2003. Paper submission deadline is March 20, 2003.

March 17, 2003: Call for participation: Conference on Business Process Management held in conjunction with Petri Nets 2003. The early registration deadline is April 1, 2003.

March 14, 2003: Call for participation: 24th International Conference on Application and Theory of Petri Nets (Petri Nets 2003). The early registration deadline is April 1, 2003.

March 13, 2003: Call for papers: Worshop on Formal Modeling and Analysis of Timed Systems. One of the topics is models and modelling formalisms around automata, Petri Nets, process algebras, temporal logics, duration calculus and the like, incorporating timing constraints, including probabilistic models of time. Paper submission deadline is May 9, 2003.

March 11, 2003: Call for participation: EEF Foundations Summer School on Concurrency. One of the sessions is on Petri Nets. Registration deadline is April 25, 2003.

March 6, 2003: Reminder: The deadline for Petri Nets 2003 tool demonstration submissions is April 1, 2003.

March 5, 2003: The list of papers accepted for BPM 2003 is now available. There is a couple of papers on Petri Nets.

March 5, 2003: The list of papers accepted for the Petri Nets 2003 conference is now available.

March 5, 2003: The Petri Nets bibliography has been updated. There are now more than 8100 entries.

March 3, 2003: Announcement: 4th Advanced Course on Petri Nets. It will be held September 15-26, 2003, in Eichstätt, Germany.

February 28, 2003: Call for papers: Conference on Systemics, Cybernetics and Informatics. One of the topics is Petri Nets. Paper submission deadline (extended abstracts) is March 14, 2003.

February 28, 2003: Call for papers: Conference on Formal Engineering Methods. There are various topics on formal methods. Paper submission deadline is May 19, 2003.

February 27, 2003: A four month ballot of the proposed standard for high-level Petri Nets was sent to national standards bodies in December 2002. If you would like to comment on this standard, please contact your national standards body as soon as possible. Please read the full posting for more details.

February 27, 2003: Extended deadline for Invited session on Modeling, Analysis and Simulation based on the Petri Nets at SCI 2003. The new paper submission deadline (abstracts) is March 15, 2003.

February 27, 2003: Call for papers: Conference on Formal Methods for Open Object-based Distributed Systems. One of the topics is formal models. Paper submission deadline (abstracts) is June 2, 2003.

February 27, 2003: Call for papers: Invited Sessions/Track on Petri Nets and Discrete Event Systems at SMC 2003. One of the topics is algorithm development and applications of Petri Nets and discrete event system models. Paper submission deadline (abstracts) is April 17, 2003.

February 25, 2003: The paper submission deadline has been extended to March 3, 2003, for PNPM 2003.

February 25, 2003: Call for papers: Invited Session on Formal Methods for Homeland Security at SMC 2003. One of the topics is Petri Net related methods. Paper submission deadline is April 6, 2003.

February 25, 2003: Call for papers: Conference on Systems, Man and Cybernetics. One of the topics is Petri Nets and discrete event systems. Paper submission deadline is March 19, 2003.

February 24, 2003: The Web site for the 4th Advanced Course on Petri Nets is now open, see www.acpn.de. An announcement will be posted later.

February 21, 2003: Call for papers: Conference on Software Engineering and Formal Methods. There are several topics on formal methods. Paper submission deadline is April 14, 2003

February 18, 2003: Reminder: The paper submission deadline for PNPM 2003 is February 24, 2003.

February 18, 2003: Call for papers: Argentinian Workshop on Theoretical Computer Science. One of the topics is formal methods. Paper submission deadline is May 4, 2003

February 11, 2003: Added information on the research group at National Institute of Technology Calicut, India.

February 7, 2003: 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 4, 2003.

February 3, 2003: Call for papers: Conference on Emerging Technologies and Factory Automation. Papers on formal methods such as Petri Nets in relation with factory automation are encouraged. Paper submission deadline is March 31, 2003.

February 3, 2003: Programme now available for ISPASS-2003. There is an accepted paper on Petri Nets.

January 23, 2003: Call for papers: Conference on Correct Hardware Design and Verification Methods. There are topics on formal methods. Paper submission deadline is April 11, 2003.

January 21, 2003: Call for papers: Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications. One of the topics is formal methods. Paper submission deadline is February 24, 2003.

January 17, 2003: Call for tool demonstrations for ACSD 2003. There are topics on Petri Nets. Paper submission deadline is February 1, 2003.

January 16, 2003: The editors of the Petri Net Newsletter has posted information on future plans for the newsletter.

January 5, 2003: Paper submission deadline extended to January 11 BPM 2003. There are topics on Petri Nets.