Experimenting with Progress Mappings for the Sweep-Line Analysis of the Internet Open Trading Protocol.

For the most recent entries see the Petri Nets Newsletter.

Experimenting with Progress Mappings for the Sweep-Line Analysis of the Internet Open Trading Protocol.

Gallasch, Guy E.; Ouyang, Chun; Billington, Jonathan; Kristensen, Lars M.

In: Kurt Jensen (Ed.): Proceedings of the Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 8-11, 2004, DAIMI PB - 570, pages 19-38. October 2004.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography