2nd International Workshop on
Petri Nets and their Applications to Workflow Management
in conjunction with SYNASC 2006

 

PN&WM 2006 List of Papers

 

Papers accepted for presentation and IEEE post-proceedings

  • Nadia Busi, Michele Pinna: Characterizing Workflow Nets Using Regions
  • Lorenzo Capra: A Symbolic Approach to Enabling Test in SWN
  • Alexandra Fortis, Florin Fortis: Using BPM Technologies for Material Balances Modeling
  • Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf: Modeling Workflows with Recursive ECATNets
  • Ioana Leahu, Ferucio Laurentiu Tiplea: The Confluence Property for Petri Nets and its Applications
  • Marisa Llorens, Javier Olivier: Marked-Controlled Reconfigurable Workflow Nets
  • Ferucio Laurentiu Tiplea, Geanina Macovei: E-timed Workflow Nets

Papers accepted for presentation only:

  • Ioan Despi: Counting Tokens in a Petri Net
  • Florin Fortis: Tailored Business Solutions: The VISP Experience

Home SYNASC'06