Searching for "Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Analysing the WAP Class 2 Wireless Transaction Protocol using Coloured Petri Nets
by Steven Gordon, Jonathan Billington — 2000
…Analysing the WAP Class 2 Wireless Transaction Protocol using Coloured Petri Nets Steven Gordon…
Cited by 7 (3 self) – Add To MetaCart

Modelling with Generalized Stochastic Petri Nets
by M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, Parallel Computing, John Wiley, V. Almeida, J. Almeida, C. Murta Performance Analysis — 1995 — Series in Parallel Computing
…] S. Gordon. Verification of the WAP Transaction Layer using Coloured Petri Nets. PhD thesis…
Cited by 253 (18 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB