What was New in 1999

December 21, 1999

First call for papers: 11th International Conference on Concurrency Theory.

December 10, 1999

Now available: List of accepted papers for Petri Nets in Design, Modelling and Simulation of Control Systems.

December 8, 1999

New tool in the database: The Model-Checking Kit.

December 8, 1999

Deadline approaching for Special session on "Modeling and Simulation of System Based on the Petri nets" at SCI 2000.

November 22, 1999

Call for papers: Workshop on Software Engineering and Petri Nets held at the Petri Nets 2000 conference.

November 19, 1999

Special session on "Modeling and Simulation of System Based on the Petri nets" at SCI 2000.

November 3, 1999

Special session on "Petri nets and their applications in Process technology" at IDPT 2000.

October 20, 1999

Please notice that the deadline for submission of papers and tool presentations for the Petri Nets 2000 conference is November 15, 1999.

October 18, 1999

Early announcement of the Workshop the Practical Use of High-Level Petri Nets held at the Petri Nets 2000 conference.

October 14, 1999

Early announcement of the Workshop on Software Engineering and Petri Nets held at the Petri Nets 2000 conference.

September 28, 1999

New book: Introduction to Discrete Event Systems, Christos G. Cassandras and Stéphane Lafortune.

September 18, 1999

New book: Application of Petri Nets to Communication Networks, J. Billington, M. Diaz, and G. Rozenberg (eds.), Advances in Petri Nets, Lecture Notes in Computer Science.VOL. 1605.

September 17, 1999

Position available: SE and High Level Petri Nets at EPFL.

September 10, 1999

A Web page has been made containing some photographs taken at the Petri Nets 99 conference in Williamsburg.

September 8, 1999

Call for papers: Petri Nets in Design, Modelling and Simulation of Control Systems, Special Session at IFAC Conference on Control Systems Design.

September 8, 1999

Online proceedings now available from Fifteenth Annual UK Performance Engineering Workshop.

September 1, 1999

Programme now available for the Second Workshop and Tutorial on Practical Use of Coloured Petri Nets and Design/CPN.

August 22, 1999

Announcement of a bibliography on Hybrid Petri Nets maintained at University of Cagliari, Italy.

August 16, 1999

Call for participation: Colloquium on Petri Net Technologies for Modelling Communication Based Systems

August 4, 1999

The Petri nets bibliography has been updated, and also includes the references published in the Petri Net Newsletter No. 56. You can now access 6850 entries from 4434 authors.

August 4, 1999

Release of the Model Checking Kit, a collection of programs which allow to model a finite-state system using a variety of modelling languages, and verify it using a variety of checkers

July 26, 1999

The steering committee has decided that Tool Presentations in the Petri Nets conference from now on will appear in the proceedings (with a page limit of 10 pages). (See also the posting on the PetriNets e-mail list.)

July 26, 1999

New tool: DaNAMiCS.

July 13, 1999

Reminder: CPN'99 workshop paper submission deadline August 2, 1999.

July 1, 1999

Call for papers for the Petri Nets 2000 conference is now also available as PDF and PostScript files.

June 29, 1999

Preliminary announcement: 5th Workshop on Discrete Event Systems (WODES 2000).

June 23, 1999

Registration reminder: PNPM99-PAPM99-NSMC99-WFMM99-WFMT99.

June 21, 1999

CPN-AMI: Version 2.4 released.

June 18, 1999

11th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation. (One of the themes is Petri Nets.)

June 17, 1999

Special Track on "Petri Nets and Performance Evaluation in HPC" at High Performance Computing Symposium 2000.

June 17, 1999

The 6th International Conference on Analytical and Numerical Modeling Techniques has a topic on Stochastic Petri Net Models.

June 8, 1999

Program available for the Multi-Workshop on Formal Methods in Performance Evaluation and Applications, September 1999. (PNPM'99, PAPM'99, NSMC'99, WFMM'99, and WFMT'99.)

June 4, 1999

Announcement of the program for the Workshop on Application of Petri Nets to Intelligent System Development at Petri Nets '99.

June 1, 1999

Carl Adam Petri is giving two invited lectures at the CPN'99 workhop in October 1999. There will also be invited lectures by Michel Beaudouin-Lafon, Hartmann Genrich, and Robert M. Shapiro.

May 20, 1999

Call for papers: Journal of Discrete Event Dynamic Systems Special issue on "Hybrid Petri Nets".

May 19, 1999

Reminder: The deadline for making reservations at the Hotel of the Petri Nets'99 Conference is May 20. The deadline for early registration discount is May 21.

May 18, 1999

Special Issue of the IEEE Transactions on Systems, Man and Cybernetics: Discrete Systems and Control.

May 6, 1999

Call for papers: Second Workshop and Tutorial on Practical Use of Coloured Petri Nets and Design/CPN.

May 6, 1999

New Petri nets tool: Moses Tool Suite.

May 3, 1999

Now online: Special section on Coloured Petri nets from the International Journal on Software Tools for Technology Transfer.

May 1, 1999

Program and call for participation: Second Workshop on Hardware Design and Petri Nets. Workshop at Petri Nets '99.

April 29, 1999

List of accepted papers and call for participation: Application of Petri Nets to Intelligent System Development. Workshop at Petri Nets '99.

April 10, 1999

Prof. Dr. Carl Adam Petri is going to receive Doctor Honoris Causa from Zaragoza University. The event will take place on April 15th.

April 10, 1999

Now available: List of accepted paper for PNPM'99.

April 10, 1999

Reminder: Zaragoza'99 Tool Demonstration (PNPM, PAPM, NSMC).

April 7, 1999

Colloquium on Petri Net Technologies for Modelling Communication Based Systems.

April 6, 1999

New tool supporting Petri nets: Moses Tool Suite.

March 30, 1999

The homepage of the Petri Nets 99 conference has been significantly extended with a lot of new information. It can be found at: http://www.cs.wm.edu/pn99/.

March 15, 1999

New drawing library which also supports Petri nets: GDToolkit.

March 11, 1999

Petri Nets 99 conference program now available.

March 9, 1999

New Petri nets tool: Renew.

March 9, 1999

Deadline extension of Petri Nets 99 workshop: Hardware Design and Petri Nets.

March 9, 1999

Deadline extension of Petri Nets 99 workshop: Application of Petri Nets to Intelligent System Development.

March 9, 1999

Track at Emerging Technologies and Factory Automation (ETFA'99) has a topic on Petri nets.

March 1, 1999

Last call for papers: Application of Petri Nets to Intelligent System Development. A workshop within the 20th International Conference on Applications and Theory of Petri Nets.

February 22, 1999

Invited session on Petri nets at SMC'99.

February 12, 1999

Course on Modeling and Analysis by means of Colored Petri Nets at the George Mason University, Fairfax, Virginia, USA.

February 5, 1999

Second call for papers: Hardware Design and Petri Nets. A workshop within the 20th International Conference on Applications and Theory of Petri Nets.

February 2, 1999

The deadline for PNPM'99 has been extended to the 19th February 1999.

February 2, 1999

The Petri nets bibliography has now updated to include the references published in the Petri Net Newsletter No. 55. You can now access 6400 entries from over 4000 authors.

January 27, 1999

New mailing list: PetriPhysics maintained by Cornelio Hopmann.

January 22, 1999

Second call for papers: Application of Petri Nets to Intelligent System Development. A workshop within the 20th International Conference on Applications and Theory of Petri Nets.

January 20, 1999

Added link to bibliography on net unfoldings, maintained by J. Esparza.

January 19, 1999

Hewlett-Packard CPN Centre at the University of Aarhus.

January 13, 1999

Final call for papers: 8th International Workshop on Petri Nets and Performance Models.

January 12, 1999

Announcement of the 6th Workshop on Algorithms and Tools for Petri nets.