Compositional Specification of a Multi-Agent System by Stochastically and Dynamically Coloured Petri Nets

Everdij, M.H.C.; Klompstra, M.B.; Blom, H.A.P.; Klein Obbink, B.

National Aerospace Laboratory NLR

NLR-TP-2006-688

2006

View/Open

TP-2006-688.pdf (3.392Mb)

Metadata

Show full item record

URI

http://hdl.handle.net/10921/377

Collections

Reports