Publications

• Published

  Carl Adam Petri: a tribute from Aarhus

  Research output: Contribution to book/anthology/report/proceeding › Book chapter › Communication

• Published

  Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

• Published

  Transactions on Petri Nets and Other Models of Concurrency VII: ToPNoC

  Research output: Book/anthology/dissertation/report › Anthology › Research

View all (78) »

• 33 rd International Conference on Applications and Theory of Petri Nets and Concurrency

  Activity: Participating in or organising an event types › Participation in or organisation af a conference

• International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency

  Activity: Participating in or organising an event types › Participation in or organisation af a conference

• Lectures on Coloured Petri Nets

  Activity: Talk or presentation types › Lecture and oral contribution

View all (21) »