Search dblp for Publications

export results for "stream:streams/conf/awpn:"

 download as .bib file

@inproceedings{DBLP:conf/awpn/000110,
  author       = {Dmitry Zaitsev},
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {Universal Inhibitor Petri Net},
  booktitle    = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  pages        = {1--15},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643/paper01.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/000110.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/0006H10,
  author       = {Fei Liu and
                  Monika Heiner},
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {Computation of Enabled Transition Instances for Colored Petri Nets},
  booktitle    = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  pages        = {51--65},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643/paper05.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/0006H10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/BlatkeM10,
  author       = {Mary Ann Bl{\"{a}}tke and
                  Wolfgang Marwan},
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {Modular and Hierarchical Modelling Concept for Large Biological Petri
                  Nets Applied to Nociception},
  booktitle    = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  pages        = {42--50},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643/paper04.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/BlatkeM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/FlickCDM10,
  author       = {Nils Erik Flick and
                  Lawrence Cabac and
                  Nicolas Denz and
                  Daniel Moldt},
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {Re-Thinking Process Mining with Agents in Mind},
  booktitle    = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  pages        = {94--99},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643/paper09.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/FlickCDM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/GierdsL10,
  author       = {Christian Gierds and
                  Niels Lohmann},
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {A Graphical User Interface for Service Adaptation},
  booktitle    = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  pages        = {136--141},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643/paper16.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/GierdsL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/HerajyH10,
  author       = {Mostafa Herajy and
                  Monika Heiner},
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {Hybrid Petri Nets for Modelling of Hybrid Biochemical Interactions},
  booktitle    = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  pages        = {66--79},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643/paper06.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/HerajyH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Kaschner10,
  author       = {Kathrin Kaschner},
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {Managing Test Suites for Services},
  booktitle    = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  pages        = {142--147},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643/paper17.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Kaschner10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/LohmannMS10,
  author       = {Niels Lohmann and
                  Stephan Mennicke and
                  Christian Sura},
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {The Petri Net {API} {A} Collection of Petri Net-related Functions},
  booktitle    = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  pages        = {148--153},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643/paper18.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/LohmannMS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/MarkwardtM10,
  author       = {Kolja Markwardt and
                  Daniel Moldt},
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {Helper Agents as a Means of Structuring Multi-Agent Applications},
  booktitle    = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  pages        = {100--105},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643/paper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/MarkwardtM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Muller10,
  author       = {Richard M{\"{u}}ller},
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {On the Notion of Deadlocks in Open Nets},
  booktitle    = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  pages        = {130--135},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643/paper15.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Muller10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Prufer10,
  author       = {Robert Pr{\"{u}}fer},
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {On Optimizing the Sweep-Line Method},
  booktitle    = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  pages        = {16--21},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643/paper02.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Prufer10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Rohr10,
  author       = {Christian Rohr},
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {Simulative {CSL} model checking of Stochastic Petri nets in {IDD-MC}},
  booktitle    = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  pages        = {88--93},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643/paper08.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Rohr10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/SchneiderW10,
  author       = {Christoph Schneider and
                  Joachim Wehler},
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {Embedding the Free-choice Semantics of AND/XOR-EPCs into the Boolean
                  Semantics},
  booktitle    = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  pages        = {22--41},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643/paper03.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/SchneiderW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Schwarick10,
  author       = {Martin Schwarick},
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {{IDD-MC} - {A} Model Checker for Bounded Stochastic Petri nets},
  booktitle    = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  pages        = {80--87},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643/paper07.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Schwarick10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/SimonM10,
  author       = {Jochen Simon and
                  Daniel Moldt},
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {PyTri, a Visual Agent Programming Language},
  booktitle    = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  pages        = {106--111},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/SimonM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Wagner10,
  author       = {Christoph Wagner},
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {Partner datenverarbeitender Services},
  booktitle    = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  pages        = {154--159},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643/paper19.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Wagner10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Wimmel10,
  author       = {Harro Wimmel},
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {Optimised Calculation of Symmetries for State Space Reduction},
  booktitle    = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  pages        = {112--117},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643/paper12.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Wimmel10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/WimmelW10,
  author       = {Harro Wimmel and
                  Karsten Wolf},
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {Reachability Analysis via Net Structure},
  booktitle    = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  pages        = {118--123},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643/paper13.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/WimmelW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Wolf10,
  author       = {Karsten Wolf},
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {Decidability Issues for Decentralized Controllability of Open Nets},
  booktitle    = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  pages        = {124--129},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643/paper14.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Wolf10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/awpn/2010,
  editor       = {Martin Schwarick and
                  Monika Heiner},
  title        = {Proceedings of the 17th German Workshop on Algorithms and Tools for
                  Petri Nets, Cottbus, Germany, October 07-08, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {643},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-643},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/BergenthumM08,
  author       = {Robin Bergenthum and
                  Sebastian Mauser},
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {Synthesis of Petri Nets from Infinite Partial Languages with VipTool},
  booktitle    = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  pages        = {81--86},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380/paper13.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/BergenthumM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/CabacS08,
  author       = {Lawrence Cabac and
                  Jan Schl{\"{u}}ter},
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {ImageNetDiff: {A} Visual Aid to Support the Discovery of Differences
                  in Petri Nets},
  booktitle    = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  pages        = {93--98},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380/paper15.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/CabacS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/EcklederF08,
  author       = {Andreas Eckleder and
                  Thomas Freytag},
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {WoPeD 2.0 goes {BPEL} 2.0},
  booktitle    = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  pages        = {75--80},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380/paper12.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/EcklederF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Fahland08,
  author       = {Dirk Fahland},
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {Oclets - Scenario-Based Modeling with Petri Nets},
  booktitle    = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  pages        = {1--6},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380/paper01.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Fahland08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Gierds08,
  author       = {Christian Gierds},
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {Finding Cost-Efficient Adapters},
  booktitle    = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  pages        = {37--42},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380/paper06.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Gierds08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/HuberKLW08,
  author       = {Markus Huber and
                  Christian K{\"{o}}lbl and
                  Robert Lorenz and
                  G{\"{u}}nther Wirsching},
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {Ein Petrinetz-Modell zur Informations{\"{u}}bertragung per Dialog},
  booktitle    = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  pages        = {15--24},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380/paper03.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/HuberKLW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Lohmann08,
  author       = {Niels Lohmann},
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {Decompositional Calculation of Operating Guidelines Using Free Choice
                  Conflicts},
  booktitle    = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  pages        = {63--68},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380/paper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Lohmann08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Lorenz08,
  author       = {Robert Lorenz},
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {Towards Synthesis of Petri Nets from General Partial Languages},
  booktitle    = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  pages        = {55--62},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380/paper09.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Lorenz08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/MarkwardtMO08,
  author       = {Kolja Markwardt and
                  Daniel Moldt and
                  Jan Ortmann},
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {Proposal for Editing Workflows in a Distributed Software Development
                  Environment},
  booktitle    = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  pages        = {31--36},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380/paper05.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/MarkwardtMO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/MartinWL08,
  author       = {Daniel Martin and
                  Daniel Wutke and
                  Frank Leymann},
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {{EWFN} - {A} Petri Net Dialect for Tuplespace-Based Workflow Enactment},
  booktitle    = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  pages        = {7--14},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380/paper02.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/MartinWL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/MassutheW08,
  author       = {Peter Massuthe and
                  Daniela Weinberg},
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {Fiona: {A} Tool to Analyze Interacting Open Nets},
  booktitle    = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  pages        = {99--104},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380/paper16.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/MassutheW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/SchluterCM08,
  author       = {Jan Schl{\"{u}}ter and
                  Lawrence Cabac and
                  Daniel Moldt},
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {Adding Runtime Net Manipulation Features to MulanViewer},
  booktitle    = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  pages        = {87--92},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380/paper14.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/SchluterCM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Schwarick08,
  author       = {Martin Schwarick},
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {Transient Analysis of Stochastic Petri Nets With Interval Decision
                  Diagrams},
  booktitle    = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  pages        = {43--48},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380/paper07.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Schwarick08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/StahlW08,
  author       = {Christian Stahl and
                  Karsten Wolf},
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {An Approach to Tackle Livelock-Freedom in {SOA}},
  booktitle    = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  pages        = {69--74},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/StahlW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Wester-EbbinghausM08,
  author       = {Matthias Wester{-}Ebbinghaus and
                  Daniel Moldt},
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {A Janus-Faced Net Component for the Prototyping of Open Systems},
  booktitle    = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  pages        = {25--30},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380/paper04.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Wester-EbbinghausM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Wolf08,
  author       = {Karsten Wolf},
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {On Synthesizing Behavior that Is Aware of Semantical Constraints},
  booktitle    = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  pages        = {49--54},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380/paper08.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Wolf08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/awpn/2008,
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380},
  urn          = {urn:nbn:de:0074-380-7},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/awpn/1999,
  editor       = {J{\"{o}}rg Desel and
                  Andreas Oberweis},
  title        = {6. Workshop Algorithmen und Werkzeuge f{\"{u}}r Petrinetze (AWPN'99),
                  Frankfurt, Germany, October 11. - 12., 1999},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {26},
  publisher    = {CEUR-WS.org},
  year         = {2000},
  url          = {https://ceur-ws.org/Vol-26},
  urn          = {urn:nbn:de:0074-26-3},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/1999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/AoumeurCS99,
  author       = {Nasreddine Aoumeur and
                  Stefan Conrad and
                  Gunter Saake},
  editor       = {J{\"{o}}rg Desel and
                  Andreas Oberweis},
  title        = {Prototyping Object Specifications Using the CO-Nets Approach},
  booktitle    = {6. Workshop Algorithmen und Werkzeuge f{\"{u}}r Petrinetze (AWPN'99),
                  Frankfurt, Germany, October 11. - 12., 1999},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {26},
  publisher    = {CEUR-WS.org},
  year         = {1999},
  url          = {https://ceur-ws.org/Vol-26/nasreddine.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/AoumeurCS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Freytag99,
  author       = {Thomas Freytag},
  editor       = {J{\"{o}}rg Desel and
                  Andreas Oberweis},
  title        = {Ablaufvisualisierung durch topologisch angeordnete Kausalnetze},
  booktitle    = {6. Workshop Algorithmen und Werkzeuge f{\"{u}}r Petrinetze (AWPN'99),
                  Frankfurt, Germany, October 11. - 12., 1999},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {26},
  publisher    = {CEUR-WS.org},
  year         = {1999},
  url          = {https://ceur-ws.org/Vol-26/Freytag.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Freytag99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/KruseL99,
  author       = {Rudolf J. Kruse and
                  Kurt Lautenbach},
  editor       = {J{\"{o}}rg Desel and
                  Andreas Oberweis},
  title        = {Constraint Satisfaction mit Petri-Netzen},
  booktitle    = {6. Workshop Algorithmen und Werkzeuge f{\"{u}}r Petrinetze (AWPN'99),
                  Frankfurt, Germany, October 11. - 12., 1999},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {26},
  publisher    = {CEUR-WS.org},
  year         = {1999},
  url          = {https://ceur-ws.org/Vol-26/kruse.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/KruseL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Kummer99,
  author       = {Olaf Kummer},
  editor       = {J{\"{o}}rg Desel and
                  Andreas Oberweis},
  title        = {Tight Integration of Java and Petri Nets},
  booktitle    = {6. Workshop Algorithmen und Werkzeuge f{\"{u}}r Petrinetze (AWPN'99),
                  Frankfurt, Germany, October 11. - 12., 1999},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {26},
  publisher    = {CEUR-WS.org},
  year         = {1999},
  url          = {https://ceur-ws.org/Vol-26/kummer.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Kummer99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Philippi99,
  author       = {Stephan Philippi},
  editor       = {J{\"{o}}rg Desel and
                  Andreas Oberweis},
  title        = {OOPr/T-Modelle - ein Pr/T-Netz basierter Ansatz zur objektorientierten
                  Modellierung},
  booktitle    = {6. Workshop Algorithmen und Werkzeuge f{\"{u}}r Petrinetze (AWPN'99),
                  Frankfurt, Germany, October 11. - 12., 1999},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {26},
  publisher    = {CEUR-WS.org},
  year         = {1999},
  url          = {https://ceur-ws.org/Vol-26/philippi.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Philippi99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Schiller99,
  author       = {Nicolas Schiller},
  editor       = {J{\"{o}}rg Desel and
                  Andreas Oberweis},
  title        = {Das Erreichbarkeitsproblem f{\"{u}}r Stetige Petri-Netze ist
                  entscheidbar},
  booktitle    = {6. Workshop Algorithmen und Werkzeuge f{\"{u}}r Petrinetze (AWPN'99),
                  Frankfurt, Germany, October 11. - 12., 1999},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {26},
  publisher    = {CEUR-WS.org},
  year         = {1999},
  url          = {https://ceur-ws.org/Vol-26/schiller.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Schiller99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Schmidt99,
  author       = {Karsten Schmidt},
  editor       = {J{\"{o}}rg Desel and
                  Andreas Oberweis},
  title        = {LoLA wird Pfadfinder},
  booktitle    = {6. Workshop Algorithmen und Werkzeuge f{\"{u}}r Petrinetze (AWPN'99),
                  Frankfurt, Germany, October 11. - 12., 1999},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {26},
  publisher    = {CEUR-WS.org},
  year         = {1999},
  url          = {https://ceur-ws.org/Vol-26/schmidt.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Schmidt99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/SchneiderW99,
  author       = {Christoph Schneider and
                  Joachim Wehler},
  editor       = {J{\"{o}}rg Desel and
                  Andreas Oberweis},
  title        = {Potential reachability in commutative nets},
  booktitle    = {6. Workshop Algorithmen und Werkzeuge f{\"{u}}r Petrinetze (AWPN'99),
                  Frankfurt, Germany, October 11. - 12., 1999},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {26},
  publisher    = {CEUR-WS.org},
  year         = {1999},
  url          = {https://ceur-ws.org/Vol-26/schneider.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/SchneiderW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/TipleaD99,
  author       = {Ferucio Laurentiu Tiplea and
                  J{\"{o}}rg Desel},
  editor       = {J{\"{o}}rg Desel and
                  Andreas Oberweis},
  title        = {Petri Net Process Decomposition with Application to Validation},
  booktitle    = {6. Workshop Algorithmen und Werkzeuge f{\"{u}}r Petrinetze (AWPN'99),
                  Frankfurt, Germany, October 11. - 12., 1999},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {26},
  publisher    = {CEUR-WS.org},
  year         = {1999},
  url          = {https://ceur-ws.org/Vol-26/tiplea.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/TipleaD99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Weber99,
  author       = {Michael Weber},
  editor       = {J{\"{o}}rg Desel and
                  Andreas Oberweis},
  title        = {Der Petrinetz-W{\"{u}}rfel im Petrinetz-Kern},
  booktitle    = {6. Workshop Algorithmen und Werkzeuge f{\"{u}}r Petrinetze (AWPN'99),
                  Frankfurt, Germany, October 11. - 12., 1999},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {26},
  publisher    = {CEUR-WS.org},
  year         = {1999},
  url          = {https://ceur-ws.org/Vol-26/weber.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/Weber99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics