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.

[PN Home][What's New][Last updated]
The maintainers of this page