<?xml version="1.0" encoding="utf-8"?>
<export-example>
  <doc>
    <id>5000</id>
    <completedYear/>
    <publishedYear>2009</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst/>
    <pageLast/>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <type>conferenceobject</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>2011-02-07</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets</title>
    <enrichment key="UBICOIdent">005821</enrichment>
    <enrichment key="UBICOquelle">Applications and Theory of Petri Nets / 30th International Conference, PETRI NETS 2009, Paris, France, S. 323 - 332, 978-3-642-02423-8 (LNCS ; 5606)</enrichment>
    <author>
      <firstName>Monika</firstName>
      <lastName>Heiner</lastName>
    </author>
    <submitter>
      <firstName>...</firstName>
      <lastName>Administrator</lastName>
    </submitter>
    <author>
      <firstName>Martin</firstName>
      <lastName>Schwarick</lastName>
    </author>
    <author>
      <firstName>Alexey A.</firstName>
      <lastName>Tovchigrechko</lastName>
    </author>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Petri Nets</value>
    </subject>
    <collection role="old_institute" number="01014">LS Informatik / Datenstrukturen und Softwarezuverlässigkeit</collection>
    <collection role="institutes" number="1281">FG Datenstrukturen und Softwarezuverlässigkeit</collection>
  </doc>
  <doc>
    <id>17761</id>
    <completedYear/>
    <publishedYear>2016</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>286</pageFirst>
    <pageLast>296</pageLast>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <type>bookpart</type>
    <publisherName>Springer</publisherName>
    <publisherPlace>Berlin [u.a.]</publisherPlace>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>2016-12-14</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">MARCIE’s secrets of efficient model checking</title>
    <parentTitle language="eng">Transactions on petri nets and other models of concurrency XI</parentTitle>
    <identifier type="doi">10.1007/978-3-662-53401-4_14</identifier>
    <identifier type="isbn">978-3-662-53400-7</identifier>
    <identifier type="isbn">978-3-662-53401-4</identifier>
    <note>referiert</note>
    <enrichment key="BTU">an der BTU erstellt / created at BTU</enrichment>
    <enrichment key="UBICOseries">Lecture Notes in Computer Science ; 9930</enrichment>
    <author>
      <firstName>Monika</firstName>
      <lastName>Heiner</lastName>
    </author>
    <submitter>
      <firstName>Sigrid</firstName>
      <lastName>Schenk</lastName>
    </submitter>
    <editor>
      <firstName>Maciej</firstName>
      <lastName>Koutny</lastName>
    </editor>
    <author>
      <firstName>Christian</firstName>
      <lastName>Rohr</lastName>
    </author>
    <editor>
      <firstName>Jörg</firstName>
      <lastName>Desel</lastName>
    </editor>
    <author>
      <firstName>Martin</firstName>
      <lastName>Schwarick</lastName>
    </author>
    <editor>
      <firstName>Jetty</firstName>
      <lastName>Kleijn</lastName>
    </editor>
    <author>
      <firstName>Alexey A.</firstName>
      <lastName>Tovchigrechko</lastName>
    </author>
    <collection role="institutes" number="1281">FG Datenstrukturen und Softwarezuverlässigkeit</collection>
  </doc>
</export-example>
