Slides from the CPN'07 Workshop

Tutorials

Tutorial 02:
Component Tools: A Frontend for Formal Methods
Ekkart Kindler
Slides, PDF file

Regular papers

Paper 01:
Towards Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario
Paul Fleischer and Lars M. Kristensen
Slides, PDF file

Paper 02:
Towards Modeling and Simulating a Multi-party Negotiation Protocol with Colored Petri Nets
E. Bacarin, W.M.P van der Aalst, E. Madeira and C. B. Medeiros
Slides, PDF file

Paper 03:
Effectiveness of Coloured Petri Nets for Modelling and Analysing the Contract Net Protocol
Amar Gupta and Jonathan Billington
Slides, PDF file
Models: CNP_FLATmodel1.cpn and CNP_Hierarchical1.cpn

Paper 04:
Modeling Grid Workflows with Colored Petri Nets
Carmen Bratosin, Wil van der Aalst and Natalia Sidorova
Slides, PowerPoint file

Paper 05:
Overcoming Failures in Composite Web Services by Analysing Colored Petri Nets
Karolina Zurowska, Ralph Deters
Slides, PDF file

Paper 06:
newYAWL: Specifying a Workflow Reference Language using Coloured Petri Nets
Nick Russell, Arthur H.M. ter Hofstede and Wil M.P. van der Aalst
Slides, PDF file

Paper 07:
Translating Colored Control Flow Nets into Readable Java via Annotated Java Workflow Nets
Kristian Bisgaard Lassen and Simon Tjell
Slides, PDF file

Paper 08:
CPNunf: A tool for McMillan's Unfolding of Coloured Petri Nets
Visar Januzaj
Slides, PDF file

Paper 09:
Designing Coloured Petri Net Models: a Method
Christine Choppy, Laure Petrucci and Gianna Reggio
Slides, PDF file

Paper 10:
From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems
R.S. Mans, W.M.P. van der Aalst, P.J.M. Bakker, A.J. Moleman, K.B. Lassen and J.B. Jørgensen
Slides, PowerPoint file

Paper 11:
Requirements Engineering for Reactive Systems with Coloured Petri Nets: the Gas Pump Controller Example
João M. Fernandes, Simon Tjell and Jens Bæk Jørgensen
Slides, PDF file

Paper 12:
On the Use of Coloured Petri Nets for Visual Animation
Óscar R. Ribeiro and João M. Fernandes
Slides, PDF file

Model presentations

Presentations 2 and 3:
CPN Model of Railway Marshalling Yard Technology. and CPN Model of Simple Transportation System with Banker's Algorithm for Avoiding Deadlock
Michal Zarnay
Slides, PowerPoint file
Models: simple TS v10 no BA.cpn, simple TS v10.cpn, timed version - marsh yard v1.cpn, and untimed version - marsh yard v5.cpn