@proceedings{AWPN2008, Booktitle = {Algorithmen und Werkzeuge f{\"u}r Petrinetze}, Editor = {Niels Lohmann and Karsten Wolf}, Month = sep, Publisher = {CEUR-WS.org}, Series = {CEUR Workshop Proceedings}, Title = {Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008}, Volume = {380}, Year = {2008}} @inproceedings{Fahland_2008_awpn, Author = {Dirk Fahland}, Booktitle = {Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008}, Editor = {Niels Lohmann and Karsten Wolf}, Month = sep, Pages = {1-6}, Pdf = {http://CEUR-WS.org/Vol-380/paper01.pdf}, Publisher = {CEUR-WS.org}, Series = {CEUR Workshop Proceedings}, Title = {Oclets -- Scenario-Based Modeling with {Petri} Nets}, Volume = {380}, Year = {2008}} @inproceedings{MartinWL_2008_awpn, Author = {Daniel Martin and Daniel Wutke and Frank Leymann}, Booktitle = {Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008}, Editor = {Niels Lohmann and Karsten Wolf}, Month = sep, Pages = {7-14}, Pdf = {http://CEUR-WS.org/Vol-380/paper02.pdf}, Publisher = {CEUR-WS.org}, Series = {CEUR Workshop Proceedings}, Title = {{EWFN} -- A {Petri} Net Dialect for Tuplespace-Based Workflow Enactment}, Volume = {380}, Year = {2008}} @inproceedings{HuberKLW_2008_awpn, Author = {Markus Huber and Christian K{\"o}lbl and Robert Lorenz and G{\"u}nther Wirsching}, Booktitle = {Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008}, Editor = {Niels Lohmann and Karsten Wolf}, Month = sep, Pages = {15-24}, Pdf = {http://CEUR-WS.org/Vol-380/paper03.pdf}, Publisher = {CEUR-WS.org}, Series = {CEUR Workshop Proceedings}, Title = {{Ein Petrinetz-Modell zur Informations{\"u}bertragung per Dialog}}, Volume = {380}, Year = {2008}} @inproceedings{WesterEbbinghausM_2008_awpn, Author = {Matthias Wester-Ebbinghaus and Daniel Moldt}, Booktitle = {Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008}, Editor = {Niels Lohmann and Karsten Wolf}, Month = sep, Pages = {25-30}, Pdf = {http://CEUR-WS.org/Vol-380/paper04.pdf}, Publisher = {CEUR-WS.org}, Series = {CEUR Workshop Proceedings}, Title = {A Janus-Faced Net Component for the Prototyping of Open Systems}, Volume = {380}, Year = {2008}} @inproceedings{MarkwardtM_2008_awpn, Author = {Kolja Markwardt and Daniel Moldt and Jan Ortmann}, Booktitle = {Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008}, Editor = {Niels Lohmann and Karsten Wolf}, Month = sep, Pages = {31-36}, Pdf = {http://CEUR-WS.org/Vol-380/paper05.pdf}, Publisher = {CEUR-WS.org}, Series = {CEUR Workshop Proceedings}, Title = {Editing Workflows in a Distributed Software Development Environment}, Volume = {380}, Year = {2008}} @inproceedings{Gierds_2008_awpn, Author = {Christian Gierds}, Booktitle = {Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008}, Editor = {Niels Lohmann and Karsten Wolf}, Month = sep, Pages = {37-42}, Pdf = {http://CEUR-WS.org/Vol-380/paper06.pdf}, Publisher = {CEUR-WS.org}, Series = {CEUR Workshop Proceedings}, Title = {Finding Cost-Efficient Adapters}, Volume = {380}, Year = {2008}} @inproceedings{Schwarick_2008_awpn, Author = {Martin Schwarick}, Booktitle = {Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008}, Editor = {Niels Lohmann and Karsten Wolf}, Month = sep, Pages = {43-48}, Pdf = {http://CEUR-WS.org/Vol-380/paper07.pdf}, Publisher = {CEUR-WS.org}, Series = {CEUR Workshop Proceedings}, Title = {Transient Analysis of Stochastic {Petri} Nets With Interval Decision Diagrams}, Volume = {380}, Year = {2008}} @inproceedings{Wolf_2008_awpn, Author = {Karsten Wolf}, Booktitle = {Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008}, Editor = {Niels Lohmann and Karsten Wolf}, Month = sep, Pages = {49-54}, Pdf = {http://CEUR-WS.org/Vol-380/paper08.pdf}, Publisher = {CEUR-WS.org}, Series = {CEUR Workshop Proceedings}, Title = {On Synthesizing Behavior that Is Aware of Semantical Constraints}, Volume = {380}, Year = {2008}} @inproceedings{Lorenz_2008_awpn, Author = {Robert Lorenz}, Booktitle = {Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008}, Editor = {Niels Lohmann and Karsten Wolf}, Month = sep, Pages = {55-62}, Pdf = {http://CEUR-WS.org/Vol-380/paper09.pdf}, Publisher = {CEUR-WS.org}, Series = {CEUR Workshop Proceedings}, Title = {Towards Synthesis of {Petri} Nets from General Partial Languages}, Volume = {380}, Year = {2008}} @inproceedings{Lohmann_2008_awpn, Author = {Niels Lohmann}, Booktitle = {Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008}, Editor = {Niels Lohmann and Karsten Wolf}, Month = sep, Pages = {63-68}, Pdf = {http://CEUR-WS.org/Vol-380/paper10.pdf}, Publisher = {CEUR-WS.org}, Series = {CEUR Workshop Proceedings}, Title = {Decompositional Calculation of Operating Guidelines Using Free Choice Conflicts}, Volume = {380}, Year = {2008}} @inproceedings{StahlW_2008_awpn, Author = {Chistian Stahl and Karsten Wolf}, Booktitle = {Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008}, Editor = {Niels Lohmann and Karsten Wolf}, Month = sep, Pages = {69-74}, Pdf = {http://CEUR-WS.org/Vol-380/paper11.pdf}, Publisher = {CEUR-WS.org}, Series = {CEUR Workshop Proceedings}, Title = {An Approach to Tackle Livelock-Freedom in {SOA}}, Volume = {380}, Year = {2008}} @inproceedings{EcklederF_2008_awpn, Author = {Andreas Eckleder and Thomas Freytag}, Booktitle = {Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008}, Editor = {Niels Lohmann and Karsten Wolf}, Month = sep, Pages = {75-80}, Pdf = {http://CEUR-WS.org/Vol-380/paper12.pdf}, Publisher = {CEUR-WS.org}, Series = {CEUR Workshop Proceedings}, Title = {{WoPeD} 2.0 goes {BPEL} 2.0}, Volume = {380}, Year = {2008}} @inproceedings{BergenthumM_2008_awpn, Author = {Robin Bergenthum and Sebastian Mauser}, Booktitle = {Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008}, Editor = {Niels Lohmann and Karsten Wolf}, Month = sep, Pages = {81-86}, Pdf = {http://CEUR-WS.org/Vol-380/paper13.pdf}, Publisher = {CEUR-WS.org}, Series = {CEUR Workshop Proceedings}, Title = {Synthesis of {Petri} Nets from Infinite Partial Languages with {VipTool}}, Volume = {380}, Year = {2008}} @inproceedings{SchluterCM_2008_awpn, Author = {Jan Schl{\"u}ter and Lawrence Cabac and Daniel Moldt}, Booktitle = {Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008}, Editor = {Niels Lohmann and Karsten Wolf}, Month = sep, Pages = {87-92}, Pdf = {http://CEUR-WS.org/Vol-380/paper14.pdf}, Publisher = {CEUR-WS.org}, Series = {CEUR Workshop Proceedings}, Title = {Adding Runtime Net Manipulation Features to \textsc{MulanViewer}}, Volume = {380}, Year = {2008}} @inproceedings{CabacS_2008_awpn, Author = {Lawrence Cabac and Jan Schl{\"u}ter}, Booktitle = {Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008}, Editor = {Niels Lohmann and Karsten Wolf}, Month = sep, Pages = {93-98}, Pdf = {http://CEUR-WS.org/Vol-380/paper15.pdf}, Publisher = {CEUR-WS.org}, Series = {CEUR Workshop Proceedings}, Title = {{ImageNetDiff}: A Visual Aid to Support the Discovery of Differences in {Petri} Nets}, Volume = {380}, Year = {2008}} @inproceedings{MassutheW_2008_awpn, Author = {Peter Massuthe and Daniela Weinberg}, Booktitle = {Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008}, Editor = {Niels Lohmann and Karsten Wolf}, Month = sep, Pages = {99-104}, Pdf = {http://CEUR-WS.org/Vol-380/paper16.pdf}, Publisher = {CEUR-WS.org}, Series = {CEUR Workshop Proceedings}, Title = {\textsc{Fiona}: A Tool to Analyze Interacting Open Nets}, Volume = {380}, Year = {2008}}