Search dblp for Publications

export results for "toc:db/conf/dfg/petri2003.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.