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
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Belhassen Mazigh, Abdeljalil Abbas-Turki. "Specifying and Verifying Holonic Multi-Agent Systems Using Stochastic Petri Net and Object-Z: Application to Industrial Maintenance Organizations." Petri Nets - Manufacturing and Computer Science (2012)