%PDF-1.4
%
1 0 obj
<>stream
application/pdfIEEE2009 Ninth International Conference on Application of Concurrency to System Design;2009; ; ;10.1109/ACSD.2009.6SynthesisMiningTheory of RegionsGenet: A Tool for the Synthesis and Mining of Petri NetsJosep CarmonaJordi CortadellaMichael Kishinevsky
2009 Ninth International Conference on Application of Concurrency to System Design181 July 200910.1109/ACSD.2009.6185
endstream
endobj
2 0 obj
<>/XObject<>>>/Parent 22 0 R/MediaBox[0 0 595.3 841.9]/TrimBox[0 0 595.3 792]>>
endobj
3 0 obj
<>stream
x+ |
endstream
endobj
4 0 obj
<>stream
HWK۸ϯБ xmJ6[%qFRLRN~}ѠFVJ ϯ?|,+?\Xju+PBpW7﮻߭X ͔rup#(lI˸:ìp)lV [ixveֶ5==ڎ}IO
Ǣ}T#<+ǟˡ_^t;z4PyϔO9Dz__j J3uY8f[Y ܐ)kڦ38+JEK~m*0YP9=BYf3(yt+;rTۘ]9>AKf=\3 ,&W,ƓwE-kML㱨9y%"ߋ]
ŮåL:: z0~Jif *.ݟH01WVkR&cC~MM۵э_?'
k}ƵN釮
Yn`A:h0cT>B%/[+Gf`Ed۶ٞ: $C?=n9˼ci=tk
pw@@tw E7(ui5/祧%jGWISiX=&/sM]R*q0Ue!}c~xs5@抴|XYVEvGCP>q
UQS4æoF
%yq(@F2oǺa{5UI},%ݡ͢gF<%`}wJX.4 P\s|><ȑrB{e#P?D8:ˮEEW^GH/J@Tn*(ܢ>P0\9
j
2߃-mYkX # ڥGvPnMTQEqI3E
)V"wa@vmEC[YEZbL>lZM9xj©r[I=h> <H`bS
bQ-)<U%e0Wcw[u2>9L6Щ44<@?,W*QIo]X] jW>4: