%PDF-1.3
%
1 0 obj
<>stream
Belhassen Mazigh and Abdeljalil Abbas-TurkiSpecifying and Verifying Holonic Multi-Agent Systems Using Stochastic Petri Net and Object-Z: Application to Industrial Maintenance Organizationsapplication/pdf
Acrobat Distiller 10.1.3 (Windows); modified using iTextSharp 4.1.6 by 1T3XT
endstream
endobj
2 0 obj
<>
endobj
4 0 obj
<>/Font<>/ExtGState<>/ProcSet[/PDF/Text]>>
endobj
3 0 obj
<>stream
hތZmFڱޭ˥M6W KYyuݿCrlCp8(o~xoۻ7'E4Ś('$I
g-%*̂m~,閻`wd*KTRlm,۷}S/$[eP5K