Papers accepted for CPN'07

The total proceedings: PDF file

Tutorial 01:
The ASCoVeCo State Space Analysis Platform: Next Generation Tool Support for State Space Analysis
Lars M. Kristensen and Michael Westergaard
Abstract, PDF file

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

Paper 01:
Towards Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario
Paul Fleischer and Lars M. Kristensen
Paper, 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
Paper, PDF file

Paper 03:
Effectiveness of Coloured Petri Nets for Modelling and Analysing the Contract Net Protocol
Amar Gupta and Jonathan Billington
Paper, PDF file

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

Paper 05:
Overcoming Failures in Composite Web Services by Analysing Colored Petri Nets
Karolina Zurowska, Ralph Deters
Paper, 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
Paper, PDF file

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

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

Paper 09:
Designing Coloured Petri Net Models: a Method
Christine Choppy, Laure Petrucci and Gianna Reggio
Paper, 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
Paper, PDF 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
Paper, PDF file

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

Paper 13:
Towards Modelling and Verification of the DYMO Routing Protocol for Mobile Ad-hoc Networks
Kristian L. Espensen, Mads K. Kjeldsen and Lars M. Kristensen
Paper, PDF file