Speakers:

Keynotes

• ​Randell Structured Occurrence Nets
• ​Yoneda Network on Chip

Tool Session

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

Tool Session

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