Kjeld Høyer Mortensen;Valerio O. Pinci
-;-
Coloured Petri net modelling of the ODP Trader for use in resource discovery
Computer Communications