What was New in 1996

December 20, 1996

Updated call for papers: Second International Workshop on Manufacturing and Petri Nets.

December 17, 1996

Extended deadline for Petri Nets 97 submissions to tool presentations and demonstrations.

December 17, 1996

Reminder of call for papers: Application of Petri Nets to Communication Networks, special issue of Advances in Petri Nets.

December 13, 1996

Call for participation: International Workshop on Hybrid and Real-Time Systems.

December 11, 1996

The Petri Nets Web now contains a page about the work on standardising high-level Petri Nets within the International Organisation for Standardisation (ISO).

December 7, 1996

Call for participation: 9th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation.

November 28, 1996

Call for contributions: Seventh International Workshop on Field Programmable Logic and Applications.

November 22, 1996

Read the latest news on the standardisation effort of Petri Nets: How you can help.

November 20, 1996

Call for papers: Second International Workshop on Manufacturing and Petri Nets.

November 12, 1996

Announcement of Colloquium on Hybrid Control for Real-time Systems.

November 12, 1996

Announcement of 2nd call for Papers: Second International Conference on Coordination Models and Languages.

November 4, 1996

Call for participation: School on Verification of Infinite State Systems.

October 28, 1996

Call for exhibitors: Workshop on Formal Design of Safety Critical Embedded Systems.

October 25, 1996

Call for contributions: Advances in Petri Nets, Object-Oriented Programming and Models of Concurrency.

October 23, 1996

Call for participation: 12th Workshop on Abstract Data Types.

October 9, 1996

Last call for papers: 11th Workshop on Parallel and Distributed Simulation.

September 27, 1996

24th International Colloquium on Automata, Languages, and Programming

September 25, 1996

Added a Java Applet - simple Petri Net editor and simulator.

September 24, 1996

Call for participation: European Educational Forum, School on Embedded Systems.

September 23, 1996

Call for papers: Application of Petri Nets to Communication Networks, special issue of Advances in Petri Nets.

September 21, 1996

International Fuzzy Systems Association World Congress.

September 20, 1996

Deferred submission deadline for PNPM97.

September 15, 1996

2nd announcement and call for papers: 11th Workshop on Parallel and Distributed Simulation.

September 13, 1996

IEE Computing and Control Division Colloquium on Hybrid Control for Real-Time Systems.

September 6, 1996

Call for nominations: Gödel Prize 1997.

August 28, 1996

Special Issue of The International Journal of Advanced Manufacturing Technology on "Petri Nets Applications in Advanced Manufacturing Systems".

August 27, 1996

Preliminary call for papers, 24th International Colloquium on Automata, Languages, and Programming.

August 22, 1996

Reminder of deadline: Algorithms and Tools for Petri Nets.

August 22, 1996

Announcement and call for papers: 5th Symposium on the Design of Complex Automation Systems.

August 13, 1996

LOOPN++ Workshop announcement.

August 8, 1996

Preliminary Call for Papers. 2nd International Workshop on Software Engineering for Parallel and Distributed Systems.

July 18, 1996

Announcement from the steering commitee: Tools presentations/demonstrations - new schedule.

July 18, 1996

Changes to Petri Nets 97 call for papers. See paragraphs around the section "Tools for Petri Nets".

July 18, 1996

New Petri Nets bibliography entries should now be sent to Olaf Kummer (kummer@informatik.uni-hamburg.de).

July 10, 1996

Created a fill-out form for submitting information about research groups.

July 5, 1996

Programme & final call for participation. Seventh International Conference on Concurrency Theory.

July 5, 1996

Call for application: Research grants in computer science (topic: theory of graph transformation systems). (See also their Web page.)

July 5, 1996

Call for papers: 7th International Workshop on Petri Nets and Performance Models. (See also their Web page.)

July 4, 1996

Call for Papers: Second International Conference on Coordination Models and Languages.

June 21, 1996

Program of the Colloquium: Formal Methods for Concurrency.

June 20, 1996

Call for papers: International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'97).

June 20, 1996

Added link to site with detailed information about the advanced course on Petri Nets, Dagstuhl Castle, October 1996.

June 20, 1996

Preliminary Announcement: European Educational Forum, School on Embedded Systems.

June 18, 1996

Rüdiger Valk announces a new report: "On Processes of Object Petri Nets".

June 14, 1996

The final program of the "2nd Workshop on Object Orientation and Models of Concurrency" to be held within the "17th International conference on Petri nets".

June 13, 1996

Link to finite model theory bibliography changed.

June 13, 1996

New Petri Nets bibliography entries should now be sent to Berndt Farwer.

June 10, 1996

It is now possible to get the list of people in the Petri Nets address database with a registered Web page.

June 10, 1996

Advance call for papers: 11th Workshop on Parallel and Distributed Simulation.

June 7, 1996

The tool POSES++ (predicate-transition-net oriented simulation and design system) was announced.

June 6, 1996

The PetriNets address list has been separated from the mailing list. Now the address list is maintained independent of the mailing list.

June 6, 1996

The PetriNets mailing list has moved to a new server. Old e-mail addresses still valid, but new functionality has been added.

June 6, 1996

Call for papers and announcement: 18th International Conference on Application and Theory of Petri Nets. Toulouse, France, June 23-27, 1997.

May 30, 1996

Added section "Advanced Courses on Petri Nets" to the page Announcements of Events.

May 23, 1996

Call for papers. The Seventh International Joint Conference on the Theory and Practice of Software Development.

May 23, 1996

ICATPN96: The program of the "First International Workshop on Manufacturing and Petri Nets"

May 23, 1996

The Third International Workshop on Performability Modeling of Computer and Communication Systems.

May 21, 1996

Preliminary programme, CONCUR 96.

May 21, 1996

Announcement of new book by Eike Best, "Semantics of Sequential and Parallel Programs".

May 18, 1996

Announcement of research studentships.

May 18, 1996

CONCUR96 - Call for demos.

May 15, 1996

First announcement and call for papers. IFAC-IFIP-IMACS Conference on Control of Industrial Systems (CIS97).

May 14, 1996

Added a link to Monika Trompedeller's page A Petri Net Classification and related Tools

May 14, 1996

Revised call for papers. Workshop on Adaptive Workflow, First International Conference on Practical Aspects of Knowledge Management.

May 13, 1996

Organized session: Discrete Events and Manufacturing Systems. Lille, France on july 9-12, 1996.

May 9, 1996

Workshop on Adaptive Workflow, First International Conference on Practical Aspects of Knowledge Management. October 30 - 31, 1996, Basel, Switzerland.

May 4, 1996

Call for papers, extended deadline. The XVI International Conference of the Chilean Computer Science Society (SCCC Conference).

May 2, 1996

Added link to formal methods tool database.

May 1, 1996

Added link to home page of PNPM '97: 7th International Workshop on Petri Nets and Performance Models.

April 29, 1996

Announcement of the tool called Petrify.

April 19, 1996

Algorithms and Tools for Petri nets (AWPN). The language of the workshop and the announcement is German.

April 16, 1996

Programme and Application form. Advanced Course on Petri Nets. October 7-18, 1996. Dagstuhl Castle, Germany.

March 29, 1996

Call for Papers and Call for Participation, Formal Methods for Concurrency.

March 13, 1996

Call for participation. First International Conference on Coordination Models, Languages and Applications.

March 11, 1996

Advanced Program for the 17th International Conference on Application and Theory of Petri Nets (ICATPN'96).

March 5, 1996

Home page of the 17th International Conference on Application and Theory of Petri Nets (ICATPN'96) is now accessible.

March 5, 1996

5th IEEE International Conference on Emerging Technologies and Factory Automation.

February 27, 1996

Added a page for collecting information about research groups around the world.

February 27, 1996

Call for Papers. Second IEEE International Conference on Engineering of Complex Computer Systems.

February 27, 1996

Call for papers. The Second World Conference on Integrated Design & Process Technology.

February 27, 1996

Announcement of the Web pages for the Design/CPN - a tool for Coloured Petri Nets.

February 25, 1996

The Petri Nets Web has changed its URL:

  Old: http://www.daimi.aau.dk/~petrinet/

  New: http://www.daimi.aau.dk/PetriNets/

Although the old URL will continue working, please change your links to point to the new URL.

February 23, 1996

Session: Analysis and Design of Information Systems by Means of High-level Petri Nets. ISAS'96

February 23, 1996

Call for papers. Engineering Complex Computer Systems. HICSS - 30.

February 19, 1996

Ulla Levens has made available online a paper about Petri Nets and music.

February 16, 1996

Reminder of that the submission deadline for the 2nd OO&MC workshop to be held within the 17th ICATPN in Osaka is March 1st.

February 15, 1996

Report about PN and music recently published.

February 15, 1996

Added a section about Simulation to the page about Other Home Pages.

February 14, 1996

List of accepted papers for the ATPN96 conference is now available from Berlin.

February 7, 1996

New book: Stochastic Petri Nets, An Introduction to the Theory by F. Bause, P. Kritzinger.

February 7, 1996

IPIC'96, the International Working Conference on Integration of Enterprise Information and Processes, "Rethinking Documents".

February 2, 1996

Announcement of advanced course on Petri Nets.

January 30, 1996

COORDINATION'96: Information bulletin on first international conference on coordination models, languages and applications.

January 26, 1996

Update version of call for papers; CONCUR'96.

January 23, 1996

Last call for papers. Petri Nets for Multi-agent Systems and Groupware.

January 23, 1996

ICATPN96: Call for papers: First International Workshop on Manufacturing and Petri Nets.

January 19, 1996

COORDINATION'96: Call for Exhibitors. First International Conference on Coordination Models, Languages and Applications.

January 11, 1996

PetriNets96: Tools, Meetings, 16 January Deadline reminder.

January 11, 1996

3rd International Summer School on distributed algorithms, University of Siena, Italy.

January 8, 1996

Advanced program. Second International Symposium on Advanced Research in Asynchronous Circuits and Systems.

January 5, 1996

Added link to an external site containing information about Queueing Petri Nets.

January 4, 1996

Please note the new address and fax number of the Petri Net Newsletter.

January 2, 1996

Analysis and Design of Distributed Computing Systems Using Petri Nets at the IEEE conference on Systems, Man and Cybernetics.