Speakers:

Keynotes

• ​Randell Structured Occurrence Nets
• ​Yoneda Network on Chip
• ​Walter Vogler
• ​Monika Heiner Bio

Tool Session

• ​Xu ISTA
• ​Kindler ePNK
• ​Westergaard AccesCPN 2.0

Tool Session

• ​Finkel T-Bounded
• Colange Crocodile
• ​Servais Minimal coverability