Workshop on the
Definition, Implementation and Application of a Standard Interchange Format for Petri Nets

Satellite event at the
International Conference on Application and Theory of Petri Nets 2004

Bologna, Italy, June 26, 2004

 

Program

The proceedings of the workshop is online now.

9.00 - 9.05 Opening

9.05-10.35 Session 1
  • M. Abdollahi Azgomi and A. Movaghar:
    An Interchange Format for Stochastic Activity Networks Based on the PNML.
  • O. Shaw, A. Koelmans, J. Steggles, and A. Wipat:
    Applying Petri Nets to Systems Biology using XML Technologies.
  • S. Bardin and L. Petrucci:
    From PNML to counter systems for accelerating Petri Nets with FAST.

10.35-11.00 Coffee break

11.00-12.30 Session 2
  • J. P. Barros and L. Gomes:
    Operational PNML: Towards a PNML Support for Model Construction and Modification.
  • K.M. van Hee, R.D.J. Post, L.J.A.M. Somers, and J.M.E.M van der Werf:
    Process model repositories and PNML.
  • M. Westergaard:
    Towards a High-level Petri Net Type Definition.

12.30-13.15 Discussion
In addition to the official program, we plan to have informal discussions on Saturday afternoon. These meetings will be planned and scheduled during the conference, please contact Jonathan Billington or Ekkart Kindler if you would like to join these informal meetings.

Registration

You can register for the workshop via the official home page of the International Conference on Application and Theory of Petri Nets 2004 (http://www.cs.unibo.it/atpn2004/).