What was New in 2002

December 20, 2002: Call for papers: 10th International Workshop on Petri Nets and Performance Models (PNPM 2003). Paper submission deadline is February 24, 2003.

December 19, 2002: Call for papers: Workshop on Issues in Security and Petri Nets at Petri Nets 2003. Paper submission deadline is March 20, 2003.

December 19, 2002: The next International Workshop on Petri Nets and Performance Models (PNPM 2003) now has a Web page.

December 17, 2002: Call for papers: Conference on Modelling Techniques and Tools for Computer Performance Evaluation. One of the topics is formal methods. Paper submission deadline is February 24, 2003.

December 16, 2002: Three post-doc positions available in Adelaide, Australia, involving work with Coloured Petri Nets among other topics.

December 9, 2002: Added information on the research group at University of Bradford, UK.

December 5, 2002: Added information on the research group at Universidade do Estado da Bahia, Brazil.

December 5, 2002: Call for papers: Tools in the broad area of business process management at BPM 2003. There are topics on Petri Nets. Paper submission deadline for tool presentation papers is January 5, 2003, and tool demonstration papers is April 1, 2003.

November 29, 2002: Final call for papers: Conference on Business Process Management. There are topics on Petri Nets. Paper submission deadline is January 5, 2003.

November 28, 2002: New book in the Advances in Petri Nets series: Concurrency and Hardware Design edited by Jordi Cortadella, Alex Yakovlev, and Grzegorz Rozenberg.

November 28, 2002: Call for papers: Conference on Formal Methods and Models for Codesign. There are topics related with formal methods. Paper submission deadline is February 1, 2003.

November 28, 2002: Paper submission deadline extended to December 10 for ACSD 2003. One of the topics is formal and semi-formal models such as Petri Nets.

November 26, 2002: Call for papers: Special Section on Graph Transformations and Visual Modeling Techniques in the new Software and System Modeling (SoSyM) Journal. One of the topics is visual modelling. Paper submission deadline is January 31, 2003.

November 22, 2002: New book: Petri Nets for Systems Engineering by Claude Girault and Rüdiger Valk with contributions from a number of people.

November 15, 2002: Paper submission deadline extended to December 15 for VVEIS-2003. One of the topics is Petri Nets.

November 14, 2002: Third call for papers: Conference on Application of Concurrency to System Design. One of the topics is formal and semi-formal models such as Petri Nets. Paper submission deadline is December 1, 2002.

November 6, 2002: Last call for papers: 24th International Conference on Application and Theory of Petri Nets (Petri Nets 2003). Paper submission deadline is November 15, 2002.

November 5, 2002: The second edition of Stochastic Petri Nets - An Introduction to the Theory by F. Bause and P.S. Kritzinger is now available.

November 5, 2002: Call for papers: Symposium on Visual Languages and Formal Methods. One of the topics is formal modelling and specification languages with visual representations. Paper submission deadline is March 15, 2002.

November 5, 2002: Call for papers: Invited session on Modeling, Analysis and Simulation based on the Petri Nets at SCI 2003. The aim is to bring together researchers from both control system and informatics to present and discuss their perspectives on the use of Petri Nets. Paper submission deadline is January 11, 2003.

November 5, 2002: Call for papers: Conference on Software Engineering Research and Practice. One of the topics is theoretic approaches such as formal methods. Paper submission deadline is February 17, 2003.

November 5, 2002: Call for papers: Conference on Information and Knowledge Engineering. One of the topics is formal and visual specification languages. Paper submission deadline is February 22, 2003.

November 5, 2002: Call for papers: Conference on Parallel and Distributed Processing Techniques and Applications. One of the topics is Petri Nets. Paper submission deadline is February 17, 2003.

October 28, 2002: Call for papers: Symposium on Formal Methods for Railway Operation and Control Systems. One of the topics is formal techniques/methods for railway engineering applications and intelligent transportation systems. Paper submission deadline is January 10, 2003.

October 25, 2002: Call for papers: Workshop on Formal Methods for Industrial Critical Systems. The aim is to provide a forum for researchers who are interested in the development and application of formal methods in industry. The paper submission deadline is March 24, 2003.

October 24, 2002: Final call for papers: International Journal of Foundations of Computer Science, special issue on Verification and Analysis of Infinite State Systems. One of the topics is Petri Nets. Paper submission deadline is November 1, 2002.

October 24, 2002: Two three-year PhD studentships available at the University of Bradford, UK. One of the research topics involves Petri Nets.

October 24, 2002: Call for papers: Workshop on Verification and Validation of Enterprise Information Systems. One of the topics is Petri Nets. Paper submission deadline is November 15, 2002.

October 24, 2002: Paper submission deadline extended to November 3 for WRTP'03. One of the topics is formal methods in discrete control systems.

October 23, 2002: Paper submission deadline extended to November 4 for DASD 2003. There are several topics on Petri Nets.

October 21, 2002: Call for papers: Symposia on Human-Centric Computing Languages and Environments. One of the workshops is on visual languages and formal methods. Paper submission deadline is March 15, 2003.

October 17, 2002: Ph.D. scholarships available at Universitat Politecnica de Catalunya, Barcelona, Spain. Some of the research topics involves Petri Nets.

October 14, 2002: Second call for papers: Conference on Application of Concurrency to System Design. One of the topics is formal and semi-formal models such as Petri Nets. Paper submission deadline is December 1, 2002.

October 11, 2002: The October 2002 issue of IEEE TSE contains a special section on Petri Nets and Performance Models, with Reinhard German and Boudewijn Haverkort as guest editors.

October 7, 2002: Call for papers: Symposium on Asynchronous Circuits and Systems. One of the topics is formal methods for self-timing and performance analysis. Paper submission deadline is November 23, 2002.

October 4, 2002: Call for papers: Computer Security Foundations Workshop. One of the topics is formal methods for security. Paper submission deadline is January 28, 2003.

October 3, 2002: Second call for papers: Conference on Business Process Management. There are topics on Petri Nets. Paper submission deadline is January 5, 2003.

October 2, 2002: Call for papers reminder: International Journal of Foundations of Computer Science, special issue on Verification and Analysis of Infinite State Systems. One of the topics is Petri Nets. Paper submission deadline is November 1, 2002.

October 1, 2002: Second call for papers: 24th International Conference on Application and Theory of Petri Nets (Petri Nets 2003). Paper and tool presentation submission deadline is November 15, 2002.

September 27, 2002: Second call for papers: Conference on Design, Analysis and Simulation of Distributed Systems. There are several topics on Petri Nets. Paper submission deadline is October 18, 2002.

September 27, 2002: Call for papers: Conference on Software Maintenance and Reengineering. One of the topics is formal methods in evolution, maintenance and reengineering. Paper submission deadline is October 10, 2002.

September 27, 2002: Papers and slide presentations are now available online from the MOCA'02 and CPN'02 workshops.

September 19, 2002: Programme and call for participation: Conference on Process Oriented Methods and Tools for the Development of Information Systems. Many of the accepted papers are on Petri Nets.

September 17, 2002: Call for papers: Workshop on Agent Based Cluster and Grid Computing. Papers welcomed on use of Petri Nets for modelling agent communities or for modelling performance of agent systems with relevance to grid computing. Paper submission deadline is December 1, 2002.

September 17, 2002: Call for papers: Workshop on Real-Time Programming. One of the topics is formal methods in discrete control systems. Paper submission deadline is October 21, 2002.

September 17, 2002: Information about WINSIM has been added to the tools database.

September 16, 2002: How is Petri Nets written and pronounced in Esperanto? See the FAQ.

September 13, 2002: Call for papers: Foundations of Software Science and Computation Structures. Papers on Petri Nets encouraged. Paper submission deadline is October 18, 2002.

September 9, 2002: Information about SIPN-Editor has been added to the tools database.

September 6, 2002: Call for papers: Invited Session on Petri Nets for Automated Systems Design at ICRA 2003. The topic is theory and applications of Petri Nets in design and implementation of automated manufacturing systems. Paper submission deadline (abstracts) is September 15, 2002.

September 5, 2002: Programme available for DS-RT 2002. There is an accepted paper on Petri Nets.

September 5, 2002: Programme available for MASCOTS 2002. There is an accepted paper on Petri Nets.

September 2, 2002: Call for papers: Conference on Principles of Distributed Systems. One of the topics is formal techniques. Paper submission deadline is September 15, 2002.

August 21, 2002: Information about Petri Net Editor has been added to the tools database.

August 21, 2002: Reminder: Special Issue on Verification and Analysis of Infinite State Systems. One of the topics is Petri Nets. Paper submission deadline is November 1, 2002.

August 8, 2002: Call for papers: Workshop on Computational Methods in Systems Biology. One of the topics is formal methods to analyse biomolecular systems. Paper submission deadline is November 9, 2002.

August 8, 2002: Preliminary programme for FORTE 2002 available. There are a couple of papers accepted on Petri Nets.

August 2, 2002: Online versions of all papers for the two workshops MOCA'02 and CPN'02 are now available.

August 1, 2002: Call for papers: Conference on Distributed Computing Systems. One of the topics is software engineering and formal methods. Paper submission deadline is September 13, 2002.

July 26, 2002: Call for papers: Workshop on Formal Reasoning on Software Components and Component Based Software Architectures. One of the topics is tools and techniques such as Petri Nets. Paper submission deadline (abstracts) is September 15, 2002.

July 20, 2002: Call for papers: Conference on Application of Concurrency to System Design. One of the topics is formal and semi-formal models such as Petri Nets. Paper submission deadline is December 1, 2002.

July 14, 2002: New members in the steering committee: Susanna Donatelli, Italy and Maciej Koutny, UK. Former member: Gianfranco Balbo.

July 4, 2002: Programme available for PDMC 2002. One of the accepted papers is on Petri Nets.

July 4, 2002: Call for papers: Conference on Business Process Management. There are topics on Petri Nets. Paper submission deadline is January 5, 2003.

June 28, 2002: Call for papers: Conference on Design, Analysis and Simulation of Distributed Systems. There are several topics on Petri Nets. Paper submission deadline is October 18, 2002.

June 28, 2002: Call for papers: Workshop on Uniform Approaches to Graphical Specification Techniques at ETAPS 2003. One of the topics is low level and high level Petri Nets. Paper submission deadline is December 15, 2002.

June 21, 2002: New book: Stochastic Petri Nets: Modelling, Stability, Simulation by Peter J. Haas, IBM Almaden Research Center, USA.

June 14, 2002: Programme available for CAV 2002. There is an accepted paper on Petri Nets.

June 14, 2002: Programme available for FMICS 02. There is an accepted paper on Petri Nets.

June 14, 2002: Call for papers: 24th International Conference on Application and Theory of Petri Nets (Petri Nets 2003). The paper submission deadline is November 15, 2002.

June 14, 2002: Programme and call for participation: Joint workshops CPN'02 and MOCA'02. Registration deadline is August 1.

June 14, 2002: Programme now available for CONCUR 2002. There are several accepted papers on Petri Nets.

June 3, 2002: Programme for PDPTA'02, SERP'02, and IKE'02 are now available. There are several accepted papers on Petri Nets.

May 27, 2002: Call for papers: Special Issue on Verification and Analysis of Infinite State Systems. One of the topics is Petri Nets. Paper submission deadline is November 1, 2002.

May 24, 2002: New tool entry added to the Petri Nets tools database: JFern, a Java based tool for Coloured Petri Nets.

May 24, 2002: Paper submission deadline extended to June 2 for EXPRESS'02. One of the topics is comparison between mathematical models of computation such as Petri Nets.

May 22, 2002: New tool entry added to the Petri Nets tools database: SimulaWorks.

May 21, 2002: There are normal registration fees for the Petri Nets 2002 conference until May 31, 2002.

May 15, 2002: Programme available for WOSP 2002. A couple of the accepted papers is on Petri Nets.

May 14, 2002: Added information on the research group at University of Victoria, BC, Canada.

May 7, 2002: Call for papers: Special Issue on Adaptive Multimedia Computing, Journal of Systems and Software. One of the topics is formal methods or modeling of adaptive multimedia. Paper submission deadline is February 1, 2003.

May 7, 2002: The information in the Petri Nets tools database has now been validated by more than half of the tool contributers. Entries which have not been validated for more than two years will soon be removed.

May 3, 2002: Call for papers: Brazilian Petri Net Meeting. Papers presenting contributions in any area of application and theory of Petri Nets are sought. Paper submission deadline is May 31, 2002.

May 2, 2002: Deadline extended for discounted early registration till May 7, 2002 for the Petri Nets 2002 conference.

May 2, 2002: A post-doc position is open at INRIA / IRISA Rennes, France. Motivated candidates with background and/or interest in fields such as discrete event systems, Petri Nets, true concurrency, are encouraged to apply.

April 29, 2002: List of accepted papers available: Workshop on Formal Methods Applied to Defence Systems to be held in conjunction with the Petri Nets 2002 conference.

April 28, 2002: Call for papers: Workshop on Modeling, Analysis and Simulation of Wireless and Mobile Systems. One of the topics is formal methods for analysis of wireless systems. Paper submission deadline is July 5, 2002.

April 18, 2002: Call for papers: Workshop on Security of Communication on Internet. One of the topics is formal methods and cryptographic protocols. Paper submission deadline is May 5, 2002.

April 17, 2002: New tool: Tina (TIme petri Net Analyzer) from LAAS / CNRS, France.

April 15, 2002: Call for participation: Conference of Dependable Systems and Networks. A couple of the accepted papers are on Petri Nets.

April 11, 2002: New book: Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg by W. Brauer, H. Ehrig, J. Karhumäki, A. Salomaa (Eds.). It includes a section on Petri Nets.

April 10, 2002: Reminder: 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 extended to May 1, 2002.

April 10, 2002: Call for papers: Workshop on Evolutionary Formal Software Development. One of the topics is management of change in formal methods. Paper submission deadline is April 28, 2002.

April 6, 2002: Call for papers: Special Issue on Deadlock Resolution in Computer Integrated Systems in IEEE Transactions on Systems, Man and Cybernetics. One of the topics is deadlock resolution techniques based on formal methodologies such as Petri Nets. Paper submission deadline is September 1, 2002.

April 5, 2002: Call for papers: Conference on Formal Methods in Computer-Aided Design. One of the topics is specification methods and analysis tools based on formal representations. The paper submission deadline is April 12, 2002.

April 1, 2002: How is "Petri Nets" written in the Armenian language? See the FAQ and get the answer.

March 28, 2002: Call for participation: GI/Dagstuhl Research Seminar on Validation of Stochastic Systems. One of the topics is modelling stochastic systems with Petri Nets. Registration deadline is April 30, 2002.

March 21, 2002: Paper submission deadline for ICGT 2002 extended to April 8, 2002. One of the topics is Actor systems and Petri nets.

March 21, 2002: Call for papers: Special Session on Petri Nets at the 9th Bellman Continuum. One of the topics is Petri Net models, analysis, algorithms, and applications. The paper submission deadline (abstracts) is April 15, 2002.

March 21, 2002: List of accepted papers is available for AVoCS 2002. One of the papers is on Petri Nets.

March 20, 2002: New book: Logic Synthesis of Asynchronous Controllers and Interfaces by J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno and A. Yakovlev. "This book is devoted to logic synthesis and design techniques for asynchronous circuits. It uses the mathematical theory of Petri Nets and asynchronous automata to develop practical algorithms implemented in a public domain CAD tool".

March 19, 2002: Two vacancies for assistant/associate professors in information systems are available at Eindhoven University of Technology, The Netherlands. The positions require knowledge of modelling techniques such as Petri Nets.

March 19, 2002: The online Petri Nets bibliography has been updated by H. Rölke. There are now 7810 entries. New submissions to the bibliography are encouraged.

March 18, 2002: Call for participation: 23rd International Conference on Application and Theory of Petri Nets (Petri Nets 2002), Adelaide, Australia, June 24-28 2002. The early registration deadline is May 1, 2002.

March 14, 2002: Call for papers: Workshop on Microprocessor Test and Verification. One of the topics is on formal techniques and their applications. Paper submission deadline is March 25, 2002.

March 13, 2002: Updated call for papers: Workshop on Formal Methods applied to Defence Systems at the Petri Nets 2002 conference. The purpose of the workshop is to exchange views on the theoretical foundations and application of formal methods to the modelling and analysis of defence systems. The paper submission deadline is April 1, 2002.

March 12, 2002: Call for papers: Conference on Formal Techniques for Networked and Distributed Systems. There are several topics on formal description techniques. Paper submission deadline is April 20, 2002.

March 11, 2002: Job openings at the department of Information and Technology, Eindhoven University of Technology, The Netherlands. The department works with, e.g., rigorous modeling techniques such as Petri Nets.

March 8, 2002: Call for papers: Workshop on Models for Time-Critical Systems. One of the topics is on advances which involve dialects such as Petri Nets. Paper submission deadline is April 29, 2002.

March 7, 2002: Call for papers: International Conference on Software Maintenance. One of the topics is formal methods. Paper submission deadline is March 18, 2002.

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

March 1, 2002: New book: Synthesis and Control of Discrete Event Systems edited by B. Cailaud, P. Darondeau, L. Lavagno, and X. Xie. The book contains several entries on Petri Nets.

March 1, 2002: Extended paper submission deadline for PAPM-ProbMiV 2002 to March 11, 2002. There are topics on Petri Nets.

February 27, 2002: Programme with abstracts now available at the Coordination 2002 conference site. One of the papers is on Petri Nets.

February 26, 2002: Call for participation: Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation. One of the topics is stochastic Petri Net modelling.

February 25, 2002: Call for tool demonstrations at the Petri Nets 2002 conference. The deadline is April 1, 2002.

February 24, 2002: Call for papers: Track on Petri Nets at SMC'02. The topic is Petri Nets and their application to various systems. Submission deadline of abstracts is March 1, 2002.

February 24, 2002: Call for papers: Workshop on Expressiveness in Concurrency. One of the topics is comparison between mathematical models of computation such as Petri Nets. Paper submission deadline is May 26, 2002.

February 22, 2002: Call for participation: School on Formal Methods for the Design of Computer, Communication and Software Systems: Model Checking. Registration deadline is May 15, 2002.

February 19, 2002: The CPN group at University of Aarhus, Denmark has made available a number of slide sets from various conferences, tutorials, and courses.

February 19, 2002: Reminder: Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. Paper submission deadline is May 1, 2002. Joint with MOCA'02.

February 19, 2002: New book: Unifying Petri Nets, Advances in Petri Nets. Editors are H. Ehrig, G. Juhas, J. Padberg, and G. Rozenberg.

February 13, 2002: Preliminary call for papers: Workshop on Formal Methods applied to Defence Systems at the Petri Nets 2002 conference. The purpose of the workshop is to exchange views on the theoretical foundations and application of formal methods to the modelling and analysis of defence systems. The paper submission deadline is April 1, 2002.

February 13, 2002: Updated 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 paper submission deadline is April 1, 2002.

February 11, 2002: Post-Doc position available at IRISA, France: Fault diagnosis in distributed Discrete Event Systems, applications to QoS management in telecommunications networks and services.

February 11, 2002: Updated 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.

February 8, 2002: Second 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.

February 7, 2002: Satellite event of ETAPS 2002: Workshop on Integration of Specification Techniques for Applications in Engineering. There is a topic on integrated workflow descriptions and Petri Nets. Early registration deadline is February 15.

February 6, 2002: The Opera and Nevod tools have been added to the tool database. They are both developed by Dmitry A. Zaitsev.

February 4, 2002: Call for tool demonstrations at FME 2002. The deadline for registration is June 21, 2002.

February 2, 2002: Call for papers: Workshop on Logic, Language, Information and Computation. One of the topics is logics and models of concurrency. Paper submission deadline is February 22, 2002.

February 2, 2002: Call for papers: Workshop on Graph Transformation and Visual Modeling Techniques. One of the topics is visual modeling techniques. Paper submission deadline is June 15, 2002.

January 24, 2002: New book: Workflow Management: Models, Methods, and Systems by Wil van der Aalst and Kees van Hee. In this book, according to the authors, Petri Nets are used to represent, analyse, and enact workflow processes.

January 22, 2002: Call for participation: The Calculemus Autumn School 2002. One of the courses is on formal methods. Registration deadline is July 1, 2002.

January 16, 2002: 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 May 10, 2002.

January 15, 2002: Call for papers: Track at SMC'02 on Formal Methods for Fault Tolerant Systems. There are several topics on Petri Nets. Deadline for submission of extended abstracts is February 15, 2002.

January 13, 2002: Added information on the Slovak University of Technology in Bratislava.

January 13, 2002: Call for papers: Workshop on Runtime Verification. The long term goal is to investigate whether the use of lightweight formal methods applied during the execution of programs is a viable complement to the current heavyweight methods proving programs correct always before their execution. Paper submission deadline is May 15, 2002.

January 13, 2002: Call for papers: Workshop on Formal Approaches to Testing of Software. There are several topics on formal methods. Paper submission deadline is April 28, 2002.

January 13, 2002: List of accepted papers for TACAS 2002 now available. One of the papers is on Petri Nets.

January 11, 2002: Petri Net Newsletter 61 has been published.

January 11, 2002: Job offer at IRISA Rennes, France. The job will be interesting for candidats with background in non-sequential processes of Petri Nets according to the poster.

January 10, 2002: Call for papers: Workshop on Formal Methods for Industrial Critical Systems. There are various topics on development and application of formal methods in industry. Paper submission deadline is April 21, 2002.

January 9, 2002: Call for papers: International Conference on Software Engineering Research and Practice. One of the topics is theoretic approaches such as formal methods. Paper submission deadline is February 22, 2002.