View source

__NOTOC__
__NOEDITSECTION__

* accepted for and presented at the ''14th Workshop "Algorithmen und Werkzeuge für Petrinetze" ([http://www.uni-koblenz.de/~ag-pn/html/awpn2007/ AWPN'07])'', Universität Koblenz-Landau, Campus Koblenz, Germany

== Author ==

* [[Person:Fahland|Dirk Fahland]], Humboldt-Universität zu Berlin, Germany

== Abstract ==

In this paper we present a pattern-based approach for synthesizing truly distributed Petri nets from a class of LTL specifications. The synthesis allows for the automatic, correct generation of humanly conceivable Petri nets, thus circumventing a manual construction of nets, or the use of Büchi automata which are not distributed and often less intuitive to understand.

== Downloads ==

* article [[Media:Fahland_-_synthesizing_petri_nets.pdf|.pdf]]

== BibTeX ==

 @INPROCEEDINGS{fahland2007_awpn,
  author = {Fahland, Dirk},
  title = {Synthesizing Petri nets from LTL specifications - An engineering approach},
  booktitle = {Proceedings 14.Workshop Algorithmen und Werkzeuge
               für Petrinetze (AWPN), Arbeitsbericht aus dem Fach Informatik,
               Nr. 25/2007},
  editor = {Philippi, Stephan and Pinl, Alexander},
  month = {September},
  year = {2007},
  address = {Universität Koblenz-Landau, Germany},
  keywords = {Petri Nets, Temporal Logic},
  pages = {69--74}
 }

[[Category:Publications]]