Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "stream:streams/conf/awpn:"
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.