Compositional Specification of a Multi-Agent System by Stochastically and Dynamically Coloured Petri Nets
Compositional Specification of a Multi-Agent System by Stochastically and Dynamically Coloured Petri Nets
| dc.contributor.author | Everdij, M.H.C. | en_US |
| dc.contributor.author | Klompstra, M.B. | en_US |
| dc.contributor.author | Blom, H.A.P. | en_US |
| dc.contributor.author | Klein Obbink, B. | en_US |
| dc.date.accessioned | 2012-03-14T09:53:00Z | |
| dc.date.available | 2012-03-14T09:53:00Z | |
| dc.date.issued | 2006 | en_US |
| dc.identifier.other | NLR-TP-2006-688 | en_US |
| dc.identifier.uri | http://hdl.handle.net/10921/377 | |
| dc.language.iso | en | en_US |
| dc.publisher | National Aerospace Laboratory NLR | en_US |
| dc.relation.ispartofseries | NLR Technical Publication;2006-688 | en_US |
| dc.subject.other | Stochastic processes | en_US |
| dc.title | Compositional Specification of a Multi-Agent System by Stochastically and Dynamically Coloured Petri Nets | en_US |
Files
Original bundle
1 - 1 of 1