Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/dfg/petri2003.bht:"
@inproceedings{DBLP:conf/dfg/Aalst03, author = {Wil M. P. van der Aalst}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {Inheritance of Business Processes: {A} Journey Visiting Four Notorious Problems}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {383--408}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_19}, doi = {10.1007/978-3-540-40022-6\_19}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/dfg/Aalst03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/BraatzEU03, author = {Benjamin Braatz and Hartmut Ehrig and Milan Urb{\'{a}}sek}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {Petri Net Transformations in the "Petri Net Baukasten"}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {37--65}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_3}, doi = {10.1007/978-3-540-40022-6\_3}, timestamp = {Fri, 02 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/BraatzEU03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/BraunMS03, author = {Volker Braun and Tiziana Margaria and Bernhard Steffen}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {The Electronic Tool Integration Platform {(ETI)} and the Petri Net Technology}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {363--382}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_18}, doi = {10.1007/978-3-540-40022-6\_18}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/BraunMS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/Dehnert03, author = {Juliane Dehnert}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {Four Steps Towards Sound Business Process Models}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {66--82}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_4}, doi = {10.1007/978-3-540-40022-6\_4}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/Dehnert03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/DeselE03, author = {J{\"{o}}rg Desel and Thomas Erwin}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {Quantitative Engineering of Business Processes with {VIP} business}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {219--242}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_11}, doi = {10.1007/978-3-540-40022-6\_11}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/DeselE03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/ErmelBE03, author = {Claudia Ermel and Roswitha Bardohl and Hartmut Ehrig}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {Generation of Animation Views for Petri Nets in GenGED}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {83--108}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_5}, doi = {10.1007/978-3-540-40022-6\_5}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/ErmelBE03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/EshuisW03, author = {Rik Eshuis and Roel J. Wieringa}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - {A} Quest for Reactive Petri Nets}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {321--351}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_16}, doi = {10.1007/978-3-540-40022-6\_16}, timestamp = {Thu, 14 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dfg/EshuisW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/GrefenA03, author = {Paul W. P. J. Grefen and Samuil Angelov}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and {WFPDL}}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {264--280}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_13}, doi = {10.1007/978-3-540-40022-6\_13}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/GrefenA03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/Heckel03, author = {Reiko Heckel}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {Open Petri Nets as Semantic Model for Workflow Integration}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {281--294}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_14}, doi = {10.1007/978-3-540-40022-6\_14}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/Heckel03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/Hoffmann03, author = {Kathrin Hoffmann}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {145--160}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_8}, doi = {10.1007/978-3-540-40022-6\_8}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/Hoffmann03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/Kleijn03, author = {Jetty Kleijn}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {Team Automata for {CSCW} - {A} Survey}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {295--320}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_15}, doi = {10.1007/978-3-540-40022-6\_15}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/Kleijn03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/Kluge03, author = {Olaf Kluge}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {Modelling a Railway Crossing with Message Sequence Charts and Petri Nets}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {197--218}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_10}, doi = {10.1007/978-3-540-40022-6\_10}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/Kluge03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/LenzO03, author = {Kirsten Lenz and Andreas Oberweis}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {Inter-organizational Business Process Management with {XML} Nets}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {243--263}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_12}, doi = {10.1007/978-3-540-40022-6\_12}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/LenzO03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/PadbergU03, author = {Julia Padberg and Milan Urb{\'{a}}sek}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {Rule-Based Refinement of Petri Nets: {A} Survey}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {161--196}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_9}, doi = {10.1007/978-3-540-40022-6\_9}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/PadbergU03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/Parisi-Presicce03, author = {Francesco Parisi{-}Presicce}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {A Formal Framework for Petri Net Class Transformations}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {409--430}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_20}, doi = {10.1007/978-3-540-40022-6\_20}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/Parisi-Presicce03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/Peuker03, author = {Sibylle Peuker}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {Concurrency Based Transition Refinement for the Verification of Distributed Algorithms}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {430--454}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_21}, doi = {10.1007/978-3-540-40022-6\_21}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/Peuker03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/SchniederCEH03, author = {Eckehard Schnieder and Mourad Chouikha and Stefan Einer and Michael Meyer zu H{\"{o}}rste}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {{BASYSNET} - An Integrated Approach for Automated Control System Development}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {352--362}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_17}, doi = {10.1007/978-3-540-40022-6\_17}, timestamp = {Fri, 02 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/SchniederCEH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/Weber03, author = {Herbert Weber}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {Application Development Assistance with the Petri Net Baukasten}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {22--36}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_2}, doi = {10.1007/978-3-540-40022-6\_2}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/Weber03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/WeberERBLDWMPEQ03, author = {Herbert Weber and Hartmut Ehrig and Wolfgang Reisig and Alexander Borusan and Sabine Lembke and Juliane Dehnert and Michael Weber and Axel Martens and Julia Padberg and Claudia Ermel and Anilda Qemali}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {The Petri Net Baukasten of the {DFG} Forschergruppe {PETRI} {NET} {TECHNOLOGY}}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {1--21}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_1}, doi = {10.1007/978-3-540-40022-6\_1}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/WeberERBLDWMPEQ03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/WeberK03, author = {Michael Weber and Ekkart Kindler}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {The Petri Net Kernel}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {109--124}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_6}, doi = {10.1007/978-3-540-40022-6\_6}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/WeberK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/WeberK03a, author = {Michael Weber and Ekkart Kindler}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {The Petri Net Markup Language}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {124--144}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_7}, doi = {10.1007/978-3-540-40022-6\_7}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/WeberK03a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dfg/2003, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/b83526}, doi = {10.1007/B83526}, isbn = {3-540-20538-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/2003.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.