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

Belhassen Mazigh, Abdeljalil Abbas-Turki
2012 Petri Nets - Manufacturing and Computer Science  
doi:10.5772/50229 fatcat:omi4ph3ew5dvbm7sg7htzub3ki