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

Author(s):  
Mariken H.C. Everdij ◽  
Margriet B. Klompstra ◽  
Henk A.P. Blom ◽  
Bart Klein Obbink
2009 ◽  
Vol 2 (4) ◽  
pp. 61-70
Author(s):  
Ravi Babu Pallikonda ◽  
◽  
K. Prapoorna ◽  
N.V. Prashanth ◽  
A. Shruti ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document