What was New in 2001

December 21, 2001: Call for papers: Workshop on Embedded Software. One of the topics is models of computation and formal methods. Paper submission deadline is April 15, 2002.

December 21, 2001: Call for papers: Conference on Algebraic Methodology And Software Technology. There are several topics on formal methods and concurrent systems. Paper submission deadline is February 1, 2002.

December 18, 2001: There will be an academic ceremony of awarding the Honorary Doctorate to Prof. Dr. Grzegorz Rozenberg at GT-DNA'02, February 14, Berlin, Germany.

December 14, 2001: Materials and photographs from the Petri Nets 2001 conference are now available on-line.

December 14, 2001: Call for papers: Process Oriented Methods and Tools for the Development of Information Systems. All Petri net papers are welcome, in particular those on algorithms and tools, and most particular those with some relation to information systems and business processes. The papers can be written in German or in English. Paper submission deadline is Juli 13, 2002.

December 13, 2001: The Predator tool has been added to the tool database. Predator is written in Java, supports hierarchical Petri Nets, and can dynamically load analysis modules. The tool was developed as part of a masters thesis at the University of London, UK.

December 11, 2001: Added information on a research group from University of the West Indies, Jamaica.

December 6, 2001: Preliminary call for papers: Workshop on Models for Time-Critical Systems. One of the topics is advances which involve dialects such as Petri Nets. Paper submission deadline is April 29, 2002.

December 4, 2001: Call for papers: Workshop on Process Algebra and Performance Modelling, Probabilistic Methods in Verification . One of the topics is using Petri Nets for specification, models and semantics of probabilistic systems. Paper submission deadline is March 1, 2002.

November 30, 2001: The Maria tool has been added to the tool database. Maria is a reachability analyser which uses Algebraic System Nets as its modelling formalism. The tool is developed at Helsinki University of Technology, Finland.

November 30, 2001: Extended paper submission deadline for TCS 2002. The new deadline is December 20, 2001. There are topics such as automata and formal languages, concurrency theory, theoretical aspects of specification, and verification of hardware and software.

November 28, 2001: Call for papers: 16th European Simulation Multiconference. There are several tracks with Petri Nets as topic. Paper submission deadline is January 15, 2002.

November 27, 2001: Call for papers: Workshop on Software Engineering and Formal Methods held as part of the Petri Nets 2002 conference. The objective of the workshop is to bring together researchers in the application of formal methods to software engineering. Paper submission deadline is March 1, 2002.

November 27, 2001: Research fellow positions available in the DEGAS project, based at the University of Edinburgh, UK. DEGAS aims to combine the use of UML for design of global wireless applications with formal methods for their analysis and verification.

November 26, 2001: Research fellow positions available in the DEGAS project, based at the Universitá di Trento, Italy. DEGAS aims to combine the use of UML for design of global wireless applications with formal methods for their analysis and verification.

November 23, 2001: Call for papers: Student Workshop at FMOODS 2002 on Formal Methods for Object-oriented and Component-based Systems. One of the topics is use of formal models for various purposes. Paper submission deadline is January 18, 2002.

November 23, 2001: New book in French on Petri Nets: Les Réseaux de Petri - Modèles Fondamentaux. M. Diaz is the editor.

November 22, 2001: Call for papers: Second Workshop on Modelling of Objects, Components, and Agents. There are Various topics on Petri Nets in conjunction with objects, components, and agents. Submission deadline is April 8, 2002.

November 22, 2001: Call for papers: Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. There are Various topics on Coloured Petri Nets. Submission deadline is May 1, 2002.

November 16, 2001: Users with WAP enabled phones can now view the most recent news from this site.

November 2, 2001: Research positions available at BRICS, Denmark. They seek applications within areas such as semantics of concurrency, and modelling and reasoning about objects and mobile processes.

November 15, 2001: Extended submission deadline for PERFORMANCE TOOLS 2002. The new deadline is November 23, 2001. There are topics such as software tools for system performance and evaluation, simulation techniques, analytical modelling techniques, and formal methods.

November 9, 2001: New release of the Petri Net Kernel 2.1.

November 9, 2001: Call for papers: The 2002 International MultiConference in Computer Science . The conference PDPTA'02 has several Petri Nets topics. Submission deadline is February 22, 2002.

November 6, 2001: Submission deadline approaching, November 15, for TPTS 2002. One of the topics is timed Petri Nets.

November 2, 2001: Added a section under Individuals with photographs of people from various events.

October 31, 2001: Submission deadline for abstracts to DIAGRAMS 2002 is approaching. There are topics such as formalization of diagrammatic notations and reasoning with diagrammatic representations.

October 24, 2001: Extended submission deadline for SIGMETRICS 2002. The new deadline is November 2, 2001. Note that one of the topics is stochastic modeling including queues and Petri nets.

October 24, 2001: Research position available at Cá Foscari, Venezia. Applicants should, among other things, have experience with concurrency, formal verification, and formal methods.

October 23, 2001: New research group added to database: Instituto Tecnológico de Puebla, Mexico.

October 22, 2001: Handheld users of AvantGo on PDA's can now subscribe to our news channel.

October 21, 2001: Call for papers: Special session at IDPT 2002 on Petri Nets in Design, Modelling and Simulation of Engineering Systems. Topics include Petri Net based approaches for discrete event and hybrid systems, workflow engineering, step-by-step design, and verification methods. Submission deadline for abstracts is November 19, 2001.

October 21, 2001: Research position available at ENS Paris. Applicants should, among other things, have experience with concurrency, formal verification, and formal methods.

October 15, 2001: Reminder: The paper submission deadline is only one month away for the Petri Nets 2002 conference.

October 4, 2001: New tool: CPN Tools developed by the CPN Group at the University of Aarhus, Denmark.

October 1, 2001: New book: Performance Engineering. State of the Art and Current Trends. Editors: Reiner Dumke, Claus Rautenstrauch, Andreas Schmietendorf, and Andre Scholz. There are contributions on Petri Nets.

September 27, 2001: Submission deadline extended for special track at HPC 2002: Petri Nets in HPC and Performance Evaluation in HPC. The new deadline is October 19, 2001.

September 26, 2001: New entry added to the PN tool database: SPNP which supports Stochastic Petri Nets.

September 24, 2001: Open research position at Augsburg University, Germany: Petri Nets and asynchronous circuits.

September 21, 2001: Call for papers: Conference on Rough Sets and Current Trends in Computing. One of the topics is Petri Nets and concurrency. Submission deadline is January 15.

September 20, 2001: Call for papers: International Conference on Graph Transformation. There are several PN relevant topics such as Actor systems and Petri nets, and graph exchange formats. The submission deadline is April 1, 2002.

September 19, 2001: New book: Lectures on Formal Methods and Performance Analysis. Edited by E. Brinksma, H. Hermanns, and J.-P. Katoe.

September 19, 2001: Added research group to PNW: Duke University, Durham, US.

September 15, 2001: Call for papers: Conference on Theory and Application of Diagrams. One of the topics is formalisation of diagrammatic notations. Submission deadline is November 2, 2001 (abstracts).

September 15, 2001: Call for papers: Conference on Computer Aided Verification. One of the topics is modeling and specification formalisms. Submission deadline is January 15, 2002.

September 13, 2001: Added research group to our Web pages: Computer Science Department, Lancaster University, UK.

September 7, 2001: Call for papers: Formal Methods Europe International Symposium and Tutorials. One of the topics is specification and modelling techniques. Submission deadline is January 15, 2002.

September 7, 2001: Reminder: Special track on Petri Nets in HPC and Performance Evaluation in HPC at HPC 2002. There are various topics on Petri Nets. Submission deadline is September 28, 2001.

September 6, 2001: Call for papers: Foundations of Software Science and Computation Structures. One of the topics is models of concurrency. Submission deadline is October 19, 2001.

September 6, 2001: Submission deadline extended to September 19, 2001 for FMOODS 2002.

September 3, 2001: New book: Supervision of Petri Nets by Geert Stremersch.

August 30, 2001: Today the PetriNets Mailing List has existed for 10 years. It has currently stabilised around 1350-1400 members which is a level held for a couple of years.

August 30, 2001: Programme available for the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems.

August 24, 2001: Call for papers: Workshop on Microprocessor Test and Verification. One of the topics is formal techniques and their applications. Submission deadline is October 26, 2001.

August 21, 2001: Preliminary call for papers: International Conference on Theoretical Computer Science. Topics include concurrency theory, and theoretical aspects of specification and verification of hardware and software. Submission deadline is December 3, 2001.

August 21, 2001: Call for papers: International Performance and Dependability Symposium. Topics include applications of analytical/simulation/measurement techniques for performance/dependability. Submission deadline is November 19, 2001.

August 20, 2001: Call for papers: Workshop on Issues in the Theory of Security. One of the topics is formal techniques for the analysis and verification of mobile code. Submission deadline is September 21, 2001.

August 19, 2001: New research group added: Pohang University of Science & Technology in South Korea.

August 8, 2001: Call for papers: Invited Session on Petri Nets and Related Methods in Agile Automation. Some of the topics are Petri Net and/or discrete-event model-based scheduling techniques, and comparisons and benchmark studies between Petri Nets and other methods. Submission deadline is September 10, 2001.

August 8, 2001: Call for papers: International Conference on Measurement and Modeling of Computer Systems. One of the topics is stochastic modeling including queues and Petri Nets. Submission deadline is October 26, 2001.

August 8, 2001: Submission deadline extended to September 12, 2001 for AWPN 2001.

August 1, 2001: First call for papers: Workshop on Theory and Practice of Timed Systems at ETAPS 2002. One of the topics is timed Petri Nets. Submission deadline is November 15, 2001.

July 31, 2001: Reminder: Early registration to PNPM, MMB, PAPM/ProbmiV 2001 with reduced fees ends August 3, 2001.

July 30, 2001: Preliminary call for papers: 13th International Conference on Concurrency Theory (WODES'02). One of the topics is formalisms and modelling methodologies such as Petri Nets. Submission deadline is January 22, 2002.

July 26, 2001: Proceedings from the DESDes'01 workshop are now available online. There are several papers on Petri Nets included.

July 24, 2001: New book: Software Reliability Methods by D. Peled. It introduces formal methods techniques to improve software reliability.

July 24, 2001: Programme now available for the HCC'01 symposia, one of which is the Symposium on Visual Languages and Formal Methods.

July 19, 2001: See the photographs from the ceremony of the Doctorate Honoris Causa for C.A. Petri at the University of Zaragoza, Spain, April 1999.

July 17, 2001: Call for papers: Invited session on Timed Petri Nets in Automation. Submission deadline for extended abstracts is September 1, 2001. There is also a session on Timed Control of Automated Manufacturing Systems.

July 16, 2001: PhD position available at Eindhoven University of Technology, The Netherlands. The project in question uses an approach based on Petri Nets, among others.

July 16, 2001: Final programme available for Symposium on the Supervisory Control of Discrete Event Systems. There are several talks on Petri Nets.

July 12, 2001: First call for papers: 13th International Conference on Concurrency Theory (CONCUR 2002). One of the topics is Petri Nets. Submission deadline is March 25, 2002.

July 6, 2001: News from the Petri Nets 2001 closing session: Claude Girault is leaving the steering committee, and Serge Haddad has joined the steering committee.

July 6, 2001: News from the Petri Nets 2001 closing session: Future Petri Nets conferences will be held in Eindhoven, The Netherlands in 2003, and in Bologna, Italy in 2004.

July 6, 2001: Programme and call for participation: MOCA'01 and CPN'01, joint workshops in August 2001.

July 4, 2001: Call for papers: Special track on Petri Nets in HPC and Performance Evaluation in HPC at HPC 2002. There are various topics on Petri Nets. Submission deadline is September 28, 2001.

July 4, 2001: New research group added: Zhong Shan University in China.

July 2, 2001: The tool database has been updated such that records that have not been validated for several years are removed. The following tool records have been removed: ANARCO, CodeSign, DNAnet, Looping, PAREDE, PETRI Maker, SPN2MGM, SURF-2, and Visual SimNet. Please let us know if you know that any of these tools are still actively being developed.

July 2, 2001: The proceedings for the Petri Nets 2001 conference are now online at Springer-Verlag. Access to abstracts is free for everyone while only subscribers to Springer LINK can access the papers in PDF format.

June 29, 2001: Programme available for CONCUR 2001. A couple of the papers are on Petri Nets.

June 29, 2001: New book: Systems and Software Verification: Model-Checking Techniques and Tools by B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci and Ph. Schnoebelen. Contains a chapter on Coloured Petri Nets.

June 29, 2001: Call for papers: Workshop on Semantic Foundations of Engineering Design Languages, Grenoble, France. One of the topics is semantic concepts for simulation, validation, and code generation. Submission deadline is October 19, 2001.

June 29, 2001: Call for papers: Workshop on Concurrency Issues in UML, Ontario, Canada. Various topics on concurrency issues. Submission deadline is August 1, 2001.

June 27, 2001: Call for participation: PNPM, MMB, and PAPM/ProbmiV 2001. List of accepted papers for these workshops is also available. There are many papers on Petri Nets.

June 25, 2001: Call for papers: 35th Annual Simulation Symposium, San Diego, CA, USA. Several topics on simulation such as simulation based performance analysis. Submission deadline is October 15, 2001.

June 21, 2001: New lightweight Petri Net framework, JFern, is now available. It is a minimalistic tiny and lightweight Petri Net API framework for Java developers. It is written by Mariusz Nowostawski.

June 18, 2001: Call for papers for Petri Nets 2002 is now available in PDF and PostScript.

June 17, 2001: Call for papers: Workshop on Algorithms and Tools for Petri Nets in Eichstätt, Germany. The language of the workshop is German. Submissions, however, can be in English or German. Submission deadline is August 31, 2001.

June 14, 2001: Preliminary programme available for Symposium on the Supervisory Control of Discrete Event Systems. There are several talks on Petri Nets.

June 11, 2001: Call for papers: Workshop on Domain Specific Visual Languages, a workshop at OOPSLA 2001. Submission deadline is August 19, 2001.

June 11, 2001: Programme now available for the Seventeenth Annual UK Performance Engineering Workshop. There are several accepted papers on Petri Nets.

June 11, 2001: Programmes now available for the 2001 International Multiconference in Las Vegas. There are several accepted papers on Petri Nets at PDPTA and METMBS.

June 8, 2001: New LNCS publication: Concurrent Object-Oriented Programming and Petri Nets with G.A. Agha, F. De Cindio, and G. Rozenberg as editors.

June 7, 2001: New Java Applet added made by Volker Guth. This Applet supports Place/Transition Nets with place capacities. If you know of similar Applets then please let us know.

June 7, 2001: New book: Axiomatic Systems in Concurrency Theory by Olaf Kummer.

June 6, 2001: Call for papers: 23rd International Conference on Application and Theory of Petri Nets, June 24-28, 2002, Adelaide, South Australia. Submission deadline is November 15, 2001.

June 5, 2001: Call for papers: Conference on Formal Methods for Open Object-based Distributed Systems. There are several topics on formal methods. Submission deadline is September 1, 2001.

June 5, 2001: New mailing list available: PetriNets-discuss. This list will be used for more lengthy and in-depth discussions on Petri Nets and related topics. It is hence an alternative to the PetriNets mailing list which is primarely used for announcements, questions, and summaries.

June 5, 2001: New book: Performance of Communication Systems - A Model-Based Approach with Matrix-Geometric Methods by Alexander Ost.

June 5, 2001: Call for papers: 12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation. There are topics such as software tools for system performance and evaluation, simulation techniques, analytical modelling techniques, and formal methods. Submission deadline is October 31, 2001.

May 31, 2001: Deadline approaching for RT-TOOLS 2001: Workshop on Real-Time Tools. The deadline for submissions is June 6. One of the topics is modeling and specification languages.

May 31, 2001: Deadline approaching for RT-TOOLS 2001: Workshop on Real-Time Tools. One of the topics is modeling and specification languages. The deadline for submissions is June 6.

May 30, 2001: Deadline approaching for ISPASS 2001: Symposium on Performance Analysis of Systems and Software. The deadline for submissions is June 4.

May 21, 2001: Extended submission deadline for MOCA'01. The new deadline is June 1, 2001. Note that there are various topics on Petri Nets.

May 17, 2001: New service added: We now support RSS (RDF Site Summary). As an experiment we start with version 0.91.

May 15, 2001: Research positions available at Universite Libre de Bruxelles. One of the areas of competence that are preferred is formal methods and verification.

May 14, 2001: New research group added: Université Paris 6, Laboratoire d'Informatique de Paris 6, thème Systèmes Répartis et Coopératifs, France.

May 14, 2001: The software package Renew version 1.5 has been released.

May 10, 2001: The entries in Announcement of Meetings are now divided into call for papers (sorted by submission deadline) and call for participation (sorted by event date). We welcome similar proposals for improvements.

May 9, 2001: Submission deadline approaching for EXPRESS'01: Workshop on Expressiveness in Concurrency. The deadline is May 20, 2001.

May 4, 2001: Reminder: Early registration ends on May 15, 2001 for Petri Nets 2001 and ICACSD 2001.

May 1, 2001: Call for papers: Symposium on the Supervisory Control of Discrete Event Systems. Submission deadline extended to May 8, 2001. Note that one of the topics is monitoring of Petri Nets.

April 27, 2001: As an experiment we have moved the most recent news to the front page of the Petri Nets World and reorganised the table of contents. Do you have similar proposals for improvements?

April 27, 2001: Tool announcement: Erlangen-Twente Markov Chain Checker (ETMCC).

April 17, 2001: Reminder: Call for papers: Joint workshops, CPN'01 and MOCA'01. Submission deadline is May 15, 2001. Note that there are various topics on Petri Nets.

April 17, 2001: Programme for ISPS 2001 is available. One of the papers is on Petri Nets.

April 17, 2001: Research fellow position available at Murdoch University, Australia. Petri Net based methodologies will be used in the associated project.

April 16, 2001: Call for participation: 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin, Germany.

April 10, 2001: New research group added: Concurrent System Research Laboratory, K-JIST, Korea.

April 10, 2001: Call for tool demos at PNPM, MMB, PAPM, and ProbMiv 2001. Submission deadline for abstracts is April, 15, 2001.

April 10, 2001: Deadline extended to April 20, 2001 for Virtual Enterprises invited session at SCI 2001.

April 9, 2001: The Petri Nets Bibliography is now maintained by Heiko Rölke from University of Hamburg, Germany. It was previously Olaf Kummer who has done an excellent job of maintained the bibliography database and online author index.

April 5, 2001: Tool demonstration submissions for Petri Nets 2001 must be received by Albert Koelmans before April 7.

April 5, 2001: PhD position available at Eindhoven University of Technology. Candidates must have experience in process modeling techniques such as Petri Nets.

April 3, 2001:
PhD position at University of Hanover, where, e.g., modelling and simulation techniques and methods, such as Petri nets, will be used.

April 3, 2001:
New research group added: General Motors R&D Center, USA.

March 30, 2001:
Call for papers: Conference on Emerging Technologies and Factory Automation. Submission deadline is April 1, 2001. Note that one of the topics is automated manufacturing systems development methodologies such as Petri Nets.

March 28, 2001:
Call for papers: Workshop on Models for Time-Critical Systems. Submission deadline is May 21, 2001. Note that one of the topics is specification, verification, analysis of time-critical system with formal methods such as Petri Nets.

March 22, 2001:
Openings for postdoctoral researchers at PacSoft in Oregon, USA. Candidates are sought with expertise in, among others, areas related to information assurance and applied formal methods.

March 21, 2001:
Call for tool demonstrations for the Petri Nets 2001 conference. Submission deadline is April 7, 2001.

March 20, 2001:
Petri Nets 2001 conference has now opened for registratrion. Early registration ends on May 15, 2001.

March 20, 2001:
ICACSD 2001 conference has now opened for registratrion. Early registration ends on May 15, 2001.

March 20, 2001:
Call for papers: Workshop on Integrating Diagrammatic and Formal Specification Techniques. Submission deadline is June 16, 2001. Note that one of the topics is Petri Nets.

March 16, 2001:
Call for tutorial proposals: International Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems. Submission deadline is April 15, 2001.

March 16, 2001:
Call for papers: European Simulation Symposium. Submission deadline is April 30, 2001. Note that there are several topics on Petri Nets.

March 16, 2001:
Call for papers: Workshop on Expressiveness in Concurrency. Submission deadline is May 20, 2001. Note that one of the topics is mathematical models of computation such as Petri Nets.

March 14, 2001:
Deadline extended for VLFM'01 to March 25.

March 14, 2001:
Call for papers: Business Process Concepts, Modelling and Evaluation Submission deadline is March 20, 2001. Note that one of the topics is Petri Nets and business processes.

March 13, 2001:
Deadline extended for CONCUR 2001 to March 25.

March 11, 2001:
The PetriNets mailing list software is being replaced with a new package called Mailman. As a subscriber you may experience a few days without postings while the installation is taking place.

March 9, 2001:
Updated call for papers: Joint PAPM-PROBMIV 2001 workshop. Submission deadline is April 7, 2001. Note that one of the topics is Petri Nets.

March 8, 2001:
Announcement of course in Italy on Formalware Engineering - Formal Methods for Engineering Software, September 2001.

March 7, 2001:
New research group added: Christian Albrechts University of Kiel, Computer Science Department, Germany.

March 6, 2001:
Call for papers: Symposium on the Supervisory Control of Discrete Event Systems. Submission deadline is May 1, 2001. Note that one of the topics is monitoring of Petri Nets.

March 6, 2001:
New tool: JARP developed by Ricardo Sangoi Padilha from Brazil.

March 5, 2001:
Call for papers: Symposium on Reliable Distributed Systems. Submission deadline is April 2, 2001. Note that some of the topics on formal methods in reliable distributed computing and performance modelling of reliable distributed systems.

March 2, 2001:
New book has been published by E.Best, R.Devillers, and M.Koutny: Petri Net Algebra.

March 1, 2001:
List of accepted papers for the Petri Nets 2001 conference is now available.

March 1, 2001:
Reminder: the deadline for the next issue of the Petri Net Newsletter is end of March.

March 1, 2001:
Reminder: Workshop on Synthesis of Concurrent Systems at ICACSD 2001 and Petri Nets 2001. Submission deadline is March 15, 2001. Note that one of the topics is Petri Nets and synthesis.

March 1, 2001:
Deadline extension to March 12, 2001 for Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems.

February 27, 2001:
Post-doc position available at University of Birmingham, UK. The job would suit someone with a PhD in formal methods, among other things.

February 25, 2001:
Final call for papers: IEEE International Conference on Systems, Man, and Cybernetics. One of the topics is Petri Nets in computing and control.

February 24, 2001:
New Petri Nets Java Applet added called Petri Net Educational Simulator. This one is made by Marco Vargiu.

February 21, 2001:
Call for papers: Virtual Enterprises: Modeling, Creation and Operation. Submission deadline is April 8, 2001. Note that one of the topics is application of Petri Nets.

February 19, 2001:
Research studentships available at Birmingham. Possible topics for research include verification and model checking, probabilistic and stochastic calculi, semantics for concurrency, semantics and formal methods for OO programming, and diagrammatic reasoning.

February 19, 2001:
Call for papers: Workshop on Agents Infrastructure and Scalability. Submission deadline is March 16, 2001. Note that one of the topics is Petri Nets (analytic approaches).

February 16, 2001:
Second paper submission deadline extension for PNPM 2001. March 1, 2001 is the new deadline. No further extensions will be given.

February 14, 2001:
New tool: HPSim by Henryk Anschuetz, Germany.

February 13, 2001:
Second call for papers: 12th International Conference on Concurrency Theory (CONCUR 2001). Submission deadline is March 19, 2001. Note that one of the topics is Petri Nets.

February 12, 2001:
The Petri nets bibliography has been updated to include the references published in the Petri Net Newsletter #59. The bibliography now contains 7450 entries contributed by over 5150 authors.

February 12, 2001:
Available Post-doc position available at Eindhoven University of Technology. The position requires, among other things, detailed knowledge of modelling techniques such as Petri nets.

February 12, 2001:
Call for papers: Symposium on Theoretical Aspects of Computer Science. One of the topics is models of concurrency and parallel computation. Submission deadline is April 1, 2001.

February 8, 2001:
The Formal Methods and Tools (FMT) group at the University of Twente in the Netherlands seeks researchers with experience in, among others, specification formalisms for probabilistic systems such as Petri Nets.

February 7, 2001:
Deadline extended to February 16 for PNPM 2001.

February 7, 2001:
Call for papers: Workshop on Modelling of Objects, Components, and Agents. One of the topics is formal methods. Submission deadline is May 1, 2001.

February 7, 2001:
The Petri Net Newsletter will
have a refereed "Technical Contributions Column" starting with this years spring volume.

February 5, 2001:
Deadline approaching for PNPM 2001, namely February 9.

February 1, 2001:
Call for papers: Workshop on Graph Transformation and Visual Modeling Techniques. One of the topics is visual modeling techniques. Submission deadline is March 5, 2001.

February 1, 2001:
Call for papers: Workshop on Modeling, Analysis and Simulation of Wireless and Mobile Systems. One of the topics is simulation and analysis of wireless protocols. Submission deadline is May 5, 2001.

January 31, 2001:
Call for papers: UK Performance Engineering Workshop. One of the topics is modelling paradigms including Stochastic Petri Nets. Submission deadline is April 30, 2001.

January 30, 2001:
New useful search facility added: You can now search with a keyword in the archive of postings on the PetriNets mailing list. (See the section How to View Previous Posted Messages.)

January 30, 2001:
Call for papers: Conference on Correct Hardware Design and Verification Methods. One of the topics is formal methods. Submission deadline is February 23, 2001.

January 30, 2001:
Updated call for papers: Visual Languages and Formal Methods. One of the topics is formal modelling and specification languages with visual representations. Submission deadline is March 11, 2001.

January 25, 2001:
New tool: Timed Procedure Transition Petri Net (TPTPN) from University of Catania, Italy.

January 24, 2001:
Call for participation and tool demos: 1st International School on Formal Methods for the Design of Computer, Communication and Software Systems: Process Algebras. Registration deadline is April 10, 2001.

January 24, 2001:
Submission deadline extended to February 5, 2001 for 15th European Simulation Multiconference.

January 23, 2001:
Invited session at SCI 2001: Petri Nets and Digital System Design: Modelling and Analysis. EXTENDED submission deadline is January 31, 2001.

January 19, 2001:
Announcement: 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin, Germany.

January 19, 2001:
Formal Methods / Formal Verification positions at Motorola in Texas, USA.

January 16, 2001:
Available positions in performance evaluation in Germany. One of the research topics involve stochastic Petri Nets.

January 15, 2001:
New release of the software package CPN-AMI 2.5.

January 15, 2001:
Call for papers: Ninth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems. Submission deadline is March 1, 2001. Note that one of the topics is analysis techniques and formal methods.

January 15, 2001:
Joint conferences: Formal Grammar and Mathematics of Language. Submission deadline is April 1, 2001. Note that the scope emphasises application of formal methods to natural language analysis.

January 12, 2001:
Submission deadlines approaching for PNPM, MMB, and PAPM-PROBMIV 2001.

January 10, 2001:
Deadline approaching for ICECCS 2001. Note that one of the topics is formal methods for complex systems.

January 9, 2001:
Announcement of satellite event at ETAPS 2001: Uniform Approaches to Graphical Process Specification Techniques. Note that one of the topics is Low Level and High Level Petri Nets.

January 8, 2001:
Special session on Petri Nets: Theory, Analysis Methods, Software Tools and Application at PDPTA 2001. Submission deadline is March 1, 2001.

January 4, 2001:
Added Introductory Tutorial on Petri Nets slides from the Petri Nets 2000 conference.

January 3, 2001:
Second call for papers: Petri Nets and Digital System Design: Modelling and Analysis. Submission deadline is January 20, 2001.