A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets. - Roland Bouroulet; Hanna Klaudel; Elisabeth Pelz (ACSD, 2004)

Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language). - Roland Bouroulet; Hanna Klaudel; Elisabeth Pelz (ACSD, 2006)

Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. - Roland Bouroulet; Raymond Devillers; Hanna Klaudel; Elisabeth Pelz; Franck Pommereau (Petri Nets, 2008)