date: 2017-03-08T13:54:35Z
pdf:PDFVersion: 1.4
pdf:docinfo:title: Simulative Analysis of Coloured Extended Stochastic Petri Nets
xmp:CreatorTool: LaTeX with hyperref package
access_permission:can_print_degraded: true
subject: coloured eXtended Stochastic Petri Nets, stochastic simulation, delta-leaping, simulative model checking
pdfa:PDFVersion: A-1b
xmpMM:History:Action: converted
dc:format: application/pdf; version=1.4
pdf:docinfo:creator_tool: LaTeX with hyperref package
access_permission:fill_in_form: true
xmpMM:History:When: 2017-03-08T14:54:18Z
pdf:encrypted: false
dc:title: Simulative Analysis of Coloured Extended Stochastic Petri Nets
modified: 2017-03-08T13:54:35Z
xmpMM:History:SoftwareAgent: Preflight
xmpMM:History:InstanceID: uuid:5AAAD099-6F5D-6258-6A9E-D758836F57A7
pdf:docinfo:creator: Christian Rohr
meta:author: Christian Rohr
trapped: False
meta:creation-date: 2017-03-08T13:50:11Z
created: 2017-03-08T13:50:11Z
access_permission:extract_for_accessibility: true
Creation-Date: 2017-03-08T13:50:11Z
pdfaid:part: 1
Author: Christian Rohr
producer: pdfTeX
pdf:docinfo:producer: pdfTeX
pdf:unmappedUnicodeCharsPerPage: 0
Keywords: coloured eXtended Stochastic Petri Nets, stochastic simulation, delta-leaping, simulative model checking
access_permission:modify_annotations: true
dc:creator: Christian Rohr
dcterms:created: 2017-03-08T13:50:11Z
Last-Modified: 2017-03-08T13:54:35Z
dcterms:modified: 2017-03-08T13:54:35Z
title: Simulative Analysis of Coloured Extended Stochastic Petri Nets
xmpMM:DocumentID: uuid:DF005B57-2A06-8753-7167-92D8CE935460
Last-Save-Date: 2017-03-08T13:54:35Z
pdf:docinfo:keywords: coloured eXtended Stochastic Petri Nets, stochastic simulation, delta-leaping, simulative model checking
pdf:docinfo:modified: 2017-03-08T13:54:35Z
meta:save-date: 2017-03-08T13:54:35Z
Content-Type: application/pdf
X-Parsed-By: org.apache.tika.parser.DefaultParser
creator: Christian Rohr
pdfaid:conformance: B
dc:subject: coloured eXtended Stochastic Petri Nets, stochastic simulation, delta-leaping, simulative model checking
access_permission:assemble_document: true
xmpTPg:NPages: 199
pdf:charsPerPage: 511
access_permission:extract_content: true
access_permission:can_print: true
pdf:docinfo:trapped: False
meta:keyword: coloured eXtended Stochastic Petri Nets, stochastic simulation, delta-leaping, simulative model checking
access_permission:can_modify: true
pdf:docinfo:created: 2017-03-08T13:50:11Z