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

None

Saved in:

Bibliographic Details
Main Authors:	Mazigh, Belhassen, Abbas-Turki, Abdeljalil
Format:	Electronic Book Chapter
Language:	English
Published:	IntechOpen 2012
Subjects:	Physical Sciences, Engineering and Technology
Online Access:	https://www.intechopen.com/chapters/38492
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet