@incollection{Abbas-Turki12,
author = {Belhassen Mazigh and Abdeljalil Abbas-Turki},
title = {Specifying and Verifying Holonic Multi-Agent Systems Using Stochastic Petri Net and Object-Z: Application to Industrial Maintenance Organizations},
booktitle = {Petri Nets},
publisher = {IntechOpen},
address = {Rijeka},
year = {2012},
editor = {Pawel Pawlewski},
chapter = {2},
doi = {10.5772/50229},
url = {https://doi.org/10.5772/50229}
}