For the most recent entries see the
Petri Nets Newsletter.
Villapol, M.E.
-
Villapol, M.E.;
Billington, J.:
A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol.
2004.
-
Villapol, María E.;
Billington, Jonathan:
Analysing Properties of the Resource Reservation Protocol.
2003.
-
Villapol, Maria E.;
Billington, Jonathan:
Generation of a Space Language for the Resource Reservation Protocol Using Formal Methods.
2001.
-
Villapol, M.E.;
Billington, J.:
Internet Service Quality: A Survey and Comparison of the IETF Approaches.
2000.
-
Villapol, M.E.;
Billington, J.:
Modelling and Initial Analysis of the Resource Reservation Protocol using Coloured Petri Nets.
2000.
-
Villapol, M.E.;
Billington, J.:
Resource Reservation Protocol for Mobile Satellite Communication.
1999.
-
Villapol, M.E.;
Billington, J.:
RSVP for LEO Satellites.
1999.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography