**Specifying and Verifying Holonic Multi-Agent Systems Using Stochastic Petri Net and Object-Z: Application to Industrial Maintenance Organizations**

Belhassen Mazigh and Abdeljalil Abbas-Turki

Additional information is available at the end of the chapter

http://dx.doi.org/10.5772/50229
