International Workshop on ISO/IEC 15909-3: properties, modularity, and stochastic Petri nets.

This event took place in Univ. Pierre et Marie CURIE (LIP6), on June 3, 2015.

Agenda

  • 09:30 - 10:00 - Welcome & coffee. Current state of the standardisation process. Part 1 and goals for Part 3 (Lom Hillah & Laure Petrucci)
  • 10:00 - 10:30 - The need for a standardisation framework for properties: feedback from the Model Checking Contest (Fabrice Kordon)
  • 10:30 - 10:45 - Coffee break
  • 10:45 - 12:30 - Formal and technical framework for properties
  • 12:00 - 13:30 - Lunch
  • 13:30 - 14:00 - The need for a standardisation framework for modularity (Laure Petrucci and Ekkart Kindler)
  • 14:00 - 14:30 - Practical experiment for PN modularity in ITS-Tools (Yann Thierry-Mieg)
  • 14:30 - 16:00 - Formal and technical framework for modularity
  • 16:00 - 16:15 - Coffee break
  • 16:15 - 16:45 - Stochastic Petri nets (Claude Dutheillet)
  • 16:45 - 17:00 - Conclusion - Agenda for Part 1 and Part 3 until May 2016. Tentative agenda for upcoming revision of Part 2 (2016)

Past events

We also organized several PNML workshops in the past: