198 | -- | 199 | Johan Lilius, Ricardo Jorge Machado, Dragos Truscan, João M. Fernandes, Ivan Porres. Guest Editors Foreword |
200 | -- | 228 | Issam Al-Azzoni, Douglas G. Down, Ridha Khédri. Modeling and Verification of Cryptographic Protocols Using Coloured Petri Nets and ::::Design/CPN:::: |
229 | -- | 250 | João Paulo Barros, Jens Bæk Jørgensen. A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design |
251 | -- | 274 | Jonathan Billington, Guy Edward Gallasch, Laure Petrucci. Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets |
275 | -- | 307 | Erez Petrank, Dror Rawitz. The Hardness of Cache Conscious Data Placement |
308 | -- | 318 | Elena Prieto, Christian Sloper. Reducing to Independent Set Structure -- the Case of k-Internal Spanning Tree |