What was New in 2000
- December 22, 2000
- Preliminary call for papers: Workshop on Formal Methods for
Industrial Critical Systems (FMICS 2001).
Submission deadline is March 29, 2001.
- December 21, 2000
- New section added to the Petri Nets World: Introductions to Petri Nets.
- December 21, 2000
- New section added to the Petri Nets World: Applications of Petri Nets.
- December 20, 2000
- Call for papers: International Workshop on Discrete-Event
System Design.
Submission deadline is February 18, 2001.
Note that one of the topics is Petri Nets.
- December 19, 2000
- According to the recently published
Petri Nets Newsletter (#59)
Dr. Tadao Murata
was selected as the first recipient of the
Carl Adam Petri Distinguished Technical Achievement Award
at the Society for Design & Process Science
(SDPS)
workshop held in Kusadasi, Turkey, September 2000.
- December 19, 2000
- Third edition of book: Computer Networks and Systems:
Queueing Theory and Performance Evaluation by Thomas
Robertazzi. Covers queueing theory and stochastic Petri networks
among other topics.
- December 18, 2000
- Open position at Augsburg University in Germany: Decomposition
of Signal-Transition Graphs for the Synthesis of Asynchronous Circuits.
- December 18, 2000
- New tool: ARP from Brazil was added to the Petri Nets
tool database.
- December 14, 2000
- Call for papers: 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.
- December 13, 2000
- Call for papers: Workshop on Concurrency in Dependable
Computing at ICACSD 2001 and Petri Nets 2001.
Submission deadline is March 23, 2001.
Note that one of the topics is Petri Nets.
- December 12, 2000
- Updated call for papers: Joint PAPM-PROBMIV 2001 workshop.
New submission deadline is April 7, 2001.
Note that one of the topics is Petri Nets.
- December 8, 2000
- Invited session at SCI 2001: Petri Nets and Digital System
Design: Modelling and Analysis.
Submission deadline is January 20, 2001.
- December 6, 2000
- Temporary research positions in performance modeling and
analysis of complex multimedia applications at Dresden University.
- December 5, 2000
- Online survey on formal methods in PLC programming for
verification and validation, organised by G. Frey and L. Litz.
You may contribute to the survey or just browse the current
entries. Note that several of the entries are applications of Petri Nets.
- December 4, 2000
- Second call for papers: Modeling and Analysis based on the Petri
nets, invited session at SCI 2001.
Submission deadline is January 10, 2001.
- December 4, 2000
- Post-docs available at Oregon Graduate Institute of Science and
Technology. Candidates are sought with expertise in applied
formal methods, among others.
- December 1, 2000
- Call for papers: Joint PAPM-PROBMIV 2001 workshop (Process
Algebra and Performance Modelling, Probabilistic
Methods in Verification).
Submission deadline is March 23, 2001.
Note that one of the topics is Petri Nets.
- November 30, 2000
- The submission deadline for ICACSD 2001 has been extended to
December 8, 2000.
- November 29, 2000
- Call for papers: 15th European Simulation Multiconference.
Submission deadline is January 15, 2001.
Note that one of the topics is Petri Nets.
- November 27, 2000
- New release of the Moses Tool Suite, the Java-based
discrete-event modelling and simulation environment developed at
the Swiss Federal Institute of Technology (ETH) in Zurich.
- November 23, 2000
- INCOME Process Designer has been added to the tool
database. It replaces the INCOME tool.
- November 23, 2000
- "Petri Nets" written in Arabic added to the FAQ.
- November 22, 2000
- 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.
- November 20, 2000
- First call for papers: PNPM 2001, 9th IEEE
International Workshop on Petri Nets and Performance Models,
Aachen, Germany, September 11-14, 2001.
Submission deadline is February 9, 2001.
- November 17, 2000
- Preliminary 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.
- November 16, 2000
- Last call for papers: International Conference on
Application of Concurrency to System Design.
Organised jointly with Petri Nets 2001.
Submission deadline is December 1, 2000.
- November 15, 2000
- Call for papers: Modeling and Analysis based on the Petri
nets, invited session at SCI 2001.
Submission deadline is January 10, 2001.
- November 9, 2000
- Release of the software package Renew 1.4.
- November 1, 2000
- Gabriel Juhás and Ekkart Kindler are now executive editors for
the Petri Net Newsletter.
- October 31, 2000
- A new category with educational resources has been added to the
Petri Nets World.
- October 31, 2000
- Reminder: Submission deadline for Petri Nets
2001 is November 15, 2000.
- October 31, 2000
- Call for papers: 6th International Workshop on Formal
Methods for Parallel Programming: Theory and Applications.
Submission deadline is November 3, 2000.
- October 27, 2000
- Programme now available for VVVNS 2000. Several accepted papers
are on Petri Nets.
- October 27, 2000
- Programme now available for IS 2000. Several accepted papers
are on Petri Nets.
- October 27, 2000
- Positions available at INRIA in France in the area of
performance evaluation and optimization of discrete-event
systems with applications to manufacturing. It also involves
work with Petri Nets.
- October 24, 2000
- Various positions available at Åbo Akademi University, where
there also are research activities involving Petri Nets.
- October 13, 2000
- Jonathan Billington's slides from the talk Update on the
Status of ISO/IEC 15909 and International Standardardization
Processes from the meeting on XML/SGML based
Interchange Formats for Petri Nets at Petri Nets 2000 are
now available online.
- October 11, 2000
- New book: Network Algebra by
G. Stefanescu.
One chapter is on Petri Nets.
- October 9, 2000
- Reminder: Submission deadline for International Conference
on Application of Concurrency to System Design is December 1, 2000.
- October 9, 2000
- Reminder: Submission deadline for Petri Nets
2001 is November 15, 2000.
- October 6, 2000
- The Intel Texas Development Center (TDC) in Austin is looking
for candidates to join its formal verification methods group.
- October 4, 2000
- Proceedings from 7th Workshop on Algorithms and Tools for
Petri Nets now available online.
- October 3, 2000
- Registration deadline for 2nd International Workshop on
Integrated Formal Methods is October 15. A few papers
presented are on Petri Nets.
- September 29, 2000
- Tool announcement: beta release of new LoLA version.
- September 28, 2000
- Call for papers: Workshop on Modelling of Objects, Components, and Agents (MOCA'01).
Submission deadline: May 15, 2001. Joint with CPN'01.
- September 28, 2000
- Call for papers: Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN'01).
Submission deadline: May 15, 2001. Joint with MOCA'01.
- September 28, 2000
- Call for papers: Conference on Computer Aided Verification
(CAV'01).
Submission deadline: January 15, 2001.
- September 22, 2000
-
A sticker icon is now available (see image to the right) in case
you wish to link to the Petri Nets World. You may take a copy of
the icon, but please do not modify it without permission.
- September 21, 2000
- Programme for the Workshop on Algorithms and Tools for Petri
Nets is now available. The Registration deadline is September
30, 2000.
- September 19, 2000
- Remember that the deadline for contributions to the next issue
of the Petri Net Newsletter is
end of September.
- September 14, 2000
- Workflow patterns Web page announced which is also relevant for
researchers working on Petri Nets.
- September 10, 2000
- Release of the software package Renew 1.3.
- August 29, 2000
- Second call for papers: Special track on Petri
Nets in HPC and Performance Evaluation in HPC at HPC 2001.
The deadline for submissions is September 22, 2000.
- August 29, 2000
- New tool: Petri Net Editor from Portugal.
- August 10, 2000
- The author-based version of the Petri Nets bibliography now has
a facility to directly convert an entry to BibTeX format. It
also has got a lookup facility for articles by keywords.
- August 3, 2000
- Research position in Berlin, Germany available: Net based
software development.
- July 27, 2000
- Photographs of the members of the Petri Nets Steering Committee
are now available online.
- July 26, 2000
- Call for papers: PNPM 2001, 9th IEEE
International Workshop on Petri Nets and Performance Models,
Aachen, Germany, September 11-14, 2001.
- July 25, 2000
- New book: Performance Analysis of Communication Systems:
Modeling with Non-Markovian Stochastic Petri Nets by
Reinhard German.
- July 25, 2000
- Technical programme available for SRDS 2000. One of the papers
is on Petri Nets.
- July 21, 2000
- How is "Petri Nets" written in different countries? Visit the
FAQ for getting the answer. A lot of helpful people have
already contributed to answereing this question, thanks.
- July 20, 2000
- You can now specify if a tool supports a file interchange
format in the tool database registration form.
- July 18, 2000
- Programme available for 7th Workshop on Logic, Language,
Information and Computation. Some papers presented are on
Petri Nets.
- July 17, 2000
- The slide sets from most invited lectures at the Petri Nets
2000 conference are now available online.
- July 14, 2000
- Call for book chapters: Performance Engineering within the
Software Development. Practices, Techniques, and Technologies.
The deadline for chapter abstracts is September 1, 2000.
- July 14, 2000
- Second call for papers: 7th Workshop on Algorithms and Tools
for Petri Nets.
The deadline for submissions is August 31, 2000.
- July 13, 2000
- A new mailing list has been created (The Petri Net Interchange Format Mailing List)
with the purpose of discussing the standardization of an
interchange format for Petri nets.
- July 13, 2000
- Summary on the XML-Meeting
at Petri Nets 2000 is now available.
- July 13, 2000
- Workshop on Formal Techniques for Train Control.
Note that one of the topics is Petri Nets.
The language of the workshop is German.
- July 10, 2000
- Photos taken at the Petri Nets 2000 conference are now
available online.
- July 7, 2000
- New book: Business Process Management: Models, Techniques,
and Empirical Studies edited by W. van der Aalst,
J. Desel, and A. Oberweis.
- July 7, 2000
- Added an entry to the FAQ: How are Petri Nets used in practice?
Do you have any references to add?
- July 5, 2000
- First call for papers and announcement: International
Conference on Application of Concurrency to System Design.
Organised jointly with Petri Nets 2001.
- July 4, 2000
- Research position in Berlin, Germany available: Universal
Approach to Net Based System Description.
- July 4, 2000
- List of accepted papers now available for FMOODS 2000. Several
papers are on Petri Nets.
- July 4, 2000
- Announced at the Petri Nets 2000 closing session by
J. Billington:
The Petri Nets 2002 conference will be held in
Adelaide, Australia.
- July 4, 2000
- New tool: Marigold from University of York, England.
- July 4, 2000
- New research group added: Slovak Academy of Sciences, Institute
of Control Theory and Robotics SAS, Slovakia.
- June 29, 2000
- Programme available for the Conference on Automated Software
Engineering (ASE'00). (A paper on Petri Nets is also presented.)
- June 26, 2000
- The Petri Nets bibliography database is now updated with
bibliography entries as published in the Petri Net Newsletter up
to and including issue number 58. At the moment the bibliography
contains 7292 entries.
- June 22, 2000
- Call for papers: Formal Methods for Engineering
Special-Purpose Parallel Systems. A special session to be
held in conjunction with the IEEE International Conference on
Electronics Circuits and Systems.
The deadline for submissions is June 30, 2000.
- June 21, 2000
- The proceedings of the Petri Nets 2000 conference are now
available online via Springer LINK. Access to tables of
contents and abstracts is free for everybody. Scientists
affiliated with departments/institutes subscribing to LNCS as a
whole also have full access to all papers in PDF form.
- June 21, 2000
- Call for papers: Invited Session on Petri Nets and Related
Methods in Agile Automation for 2001 IEEE International
Conference on Robotics and Automation.
The deadline for submission of abstracts is August 15, 2000.
- June 15, 2000
- Announcement and call for papers: Special track on Petri
Nets in HPC and Performance Evaluation in HPC at HPC 2001.
The deadline for submissions is September 22, 2000.
- June 14, 2000
- Announcement of new report: R. Valk: Relating Different
Semantics for Object Petri Nets, Bericht FBI-B-226/00,
Universität Hamburg, 2000, 50 pages.
- June 13, 2000
- Early registration deadline approaching for
WODES 2000, namely
June 20. Several sessions are on Petri Nets.
- June 13, 2000
- The final programme for CONCUR 2000 is now available. Several
papers are on Petri Nets.
- June 7, 2000
- It is now possible to download electronic versions of the
material that will be used during the different satellite events
at the Petri Nets 2000 conference.
- June 6, 2000
- A printable version of the detailed programme for the Petri
Nets 2000 conference is now available.
- June 5, 2000
- The CfP for Petri Nets 2001 is now available as PostScript and PDF.
- June 3, 2000
- First Call for Papers and Announcement: Petri Nets 2001,
22nd International Conference on Application and Theory of Petri Nets,
Newcastle upon Tyne, United Kingdom, June 25-29, 2001.
- June 2, 2000
- Please consider to join the
excursion
the Saturday after the Petri Nets 2000 conference.
- June 2, 2000
- The final programme for the XML/SGML meeting at the Petri Nets 2000
conference is now online.
- June 2, 2000
- The PetriNets mailing list distributor software was not working
the past week. Please consider to resend your mail in case it
was not distributed. You can check this in the
list
of postings.
- May 25, 2000
- Issue 58 of the Petri Net Newsletter is now
published. As a result of this, the online information has been
updated. New application forms are now available as PDF and
PostScript.
- May 23, 2000
- Open Position at the University of Technology at Cottbus.
Applicants should have background in formal methods such as Petri Nets.
- May 23, 2000
- Available PhD position at Eindhoven University of Technology on
Performance analysis of workflow processes. The position also
involves research within Petri Nets.
- May 16, 2000
- The low rate registration deadline expires this week for
the Petri Nets 2000 conference. It is
also strongly recommended that you book hotel rooms before May 20.
- May 16, 2000
- Renew 1.2: New major release with many new features.
- May 16, 2000
- Now available: The survey "Questionnaire for a Taxonomy of
Petri Net Dialects" by R. Bastide, D. Buchs, M. Buffo,
F. Kordon, and O.Sy.
- May 15, 2000
- The forthcoming December issue of the Taiwanese journal MIS
Review (on Management Information Systems) has a special
topic on Petri Nets. Editor-in-Chief is Prof. Yaw Chao.
- May 11, 2000
- Call for papers: Joint Special Issue(s) devoted to "The
Difference between Concurrent and Sequential Computation".
The deadline for submissions is January 15, 2001.
- May 11, 2000
- Extended submission deadline (May 19, 2000) for UKPEW 2000.
Note that one of the topics is Stochastic Petri Nets.
- May 9, 2000
- More preliminary results from the PN tool questionnaire now
available. Deadline for registering is May 15th.
- May 3, 2000
- Please note that the deadline for obtaining the low
registration fee for the Petri Nets 2000 conference is May 15.
- May 2, 2000
- Last call for papers: First Workshop on Models for Time-Critical
Systems.
The deadline for submissions is May 14, 2000.
Note that one of the topics is Petri Nets.
- April 27, 2000
- Preliminary programme for WODES 2000 now available. Several
sessions are on Petri Nets. Early registration deadline is June 20.
- April 25, 2000
- Preliminary results from the PN tool questionnaire now
available. Deadline for registering is May 15th.
- April 17, 2000
- FMICS 2000 proceedings now available online.
- April 14, 2000
- Call for papers: 7th Workshop on Algorithms and Tools for Petri Nets.
The deadline for submissions is August 31, 2000.
- April 13, 2000
- Call for participation: It is now possible to register for the
Petri Nets 2000 conference. If you
register before May 15 you obtain a special discount.
- April 12, 2000
- New book: Hardware Design and Petri Nets edited by
A. Yakovlev, L. Gomes, L. Lavagno.
- April 7, 2000
- The list of registered tools for the demonstrations at the Petri Nets
2000 conference is now available.
- April 7, 2000
- Second call for papers: 7th International Workshop on
Expressiveness in Concurrency. Note that one of the topics
is Petri Nets.
The deadline for submissions is May 14, 2000.
- April 4, 2000
- Extended submission deadline (April 10, 2000) for MASCOTS 2000.
- April 3, 2000
- Call for submissions: Formal Methods Europe.
The deadline for submissions is August 25, 2000.
- March 31, 2000
- Remember to register your tool demonstrations for the
Petri Nets 2000 conference.
The registration deadline is April 7, 2000.
- March 31, 2000
- Deadline for submission of position papers for Meeting on
XML/SGML based Interchange Formats for Petri Nets at
Petri Nets 2000.
The deadline for submissions is April 9, 2000.
- March 30, 2000
- New research group added: Murdoch University, Australia.
- March 29, 2000
- Online questionnaire for PN tool classification now available.
Data to be used in context of the Petri Nets standardisation
work for an interchange format.
- March 24, 2000
- Summary of replies posted on PetriNets list: "Petri Nets combined with object-oriented methods".
- March 7, 2000
- Online registration form now available for tool demonstrations
at Petri Nets 2000.
- March 7, 2000
- Reminder: Call for papers: Workshop on the Practical Use of High-Level Petri Nets
at Petri Nets 2000.
The deadline for submissions is April 5, 2000.
- March 7, 2000
- Call for papers: First Workshop on Models for Time-Critical
Systems.
The deadline for submissions is May 14, 2000.
Note that one of the topics is Petri Nets.
- March 6, 2000
- New tool: ACF 0.1, a framework for writing model-checkers.
- March 3, 2000
- New research group added: Russian Academy of Science of Kemerovo
- March 1, 2000
- Reminder: The submission deadline for the Petri Net
Newsletter 58 is end of March.
- February 29, 2000
- Call for position papers: Meeting on XML/SGML based
Interchange Formats for Petri Nets at Petri Nets 2000.
The deadline for submissions is April 9, 2000.
- February 28, 2000
- Extended submission deadline (March 10) for SMC 2000 Invited
Session on Petri Nets
- February 23, 2000
- Call for papers: Symposium on Modeling, Analysis and Simulation of
Computer and Telecommunication Systems.
The deadline for submissions is April 1, 2000.
Note that one of the topics is Petri Nets.
- February 22, 2000
- Deadline for scholarship applications approaching: Formal
Methods and Performance Analysis, the first
Euro-Summerschool on Trends in Computer Science.
Note that one of the topics is Petri Nets.
- February 22, 2000
- Announcement of Summer School on Modelling and Verification
of Parallel Processes.
Note that one of the topics is Petri Nets.
- February 22, 2000
- New research group added: University of Tizi-Ouzou, Algeria.
- February 21, 2000
- Call for participation: Petri Nets
2000, Aarhus, Denmark, June 2000. Online
registration now open and detailed program available.
- February 20, 2000
- Call for papers: Conference on Concurrency Theory
(CONCUR 2000). Note that one of the topics is Petri Nets.
The deadline for submissions is March 3, 2000.
- February 18, 2000
- Call for papers: Invited Sessions/Track on Petri Nets
at SMC 2000.
The deadline for submissions is May 14, 2000.
- February 18, 2000
- Call for papers: 7th International Workshop on
Expressiveness in Concurrency. Note that one of the topics
is Petri Nets.
The deadline for submissions is May 14, 2000.
- February 10, 2000
- Special issue of International Journal of Computer Systems
Science & Engineering on Flexible Workflow Technology
Driving the Networked Economy.
The deadline for submissions is March 1, 2000.
- February 8, 2000
- The tool PN-tools was added to the Petri Nets tool database.
- February 1, 2000
- Call for papers: Workshop on the Practical Use of High-Level Petri Nets
at Petri Nets 2000.
The deadline for submissions is April 5, 2000.
- January 31, 2000
- Call for papers: Workshop on Software Engineering and Petri
Nets at Petri Nets
2000. The deadline for submissions is March 17, 2000.
- January 31, 2000
- Petri Nets tools can be demonstrated at a session at WODES 2000.
- January 24, 2000
- New entry added to the list of Petri
Net Research Groups: Department of Computer Science,
City University of Hong Kong.
- January 21, 2000
- Preliminary programme available for Performance Tools 2000.
- January 20, 2000
- Call for papers: Performance Evaluation and Prediction
at Euro-Par 2000. One of the topics is Petri net models.
- January 18, 2000
- Call for papers: Invited session on Formal Methods in PLC
Control for IEEE SMC 2000. Note that Petri Nets is a topic
under "Formal description of PLC programs using ...".
- January 18, 2000
- Second call for papers: International European Simulation
Multi-Conference (ESM 2000). Note that Petri Nets is a
topic under "Simulation Tools and Methodology".
- January 18, 2000
- Extension of submissions deadline to January 21 for WoDES 2000.
- January 10, 2000
- Call for registration: The first EEF-Summerschool on Trends in
Computer Science: Formal Methods and Performance
Analysis. Note that one of the topics is Petri Nets.
- January 8, 2000
- Call for papers: 8th International Workshop on Process
Algebra and Performance Modelling. Note that one of the
topics is Petri Nets.
![[PN Home]](/TGI/PetriNets/img/button_home.gif)
![[What's New]](/TGI/PetriNets/img/button_news.gif)
![[Last updated]](/TGI/PetriNets/img/button_stat.gif)
The maintainers of this page