"Modelling the WAP Transaction Service using Coloured Petri Nets."

Steven Gordon, Jonathan Billington (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics