Search dblp for Publications

export results for "toc:db/conf/apn/upn2001.bht:"

 download as .bib file

@inproceedings{DBLP:conf/apn/BadouelBD01,
  author       = {{\'{E}}ric Badouel and
                  Marek A. Bednarczyk and
                  Philippe Darondeau},
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Generalized Automata and Their Net Representations},
  booktitle    = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  pages        = {304--345},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8\_10},
  doi          = {10.1007/3-540-45541-8\_10},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BadouelBD01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/BednarczykB01,
  author       = {Marek A. Bednarczyk and
                  Andrzej M. Borzyszkowski},
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {On Concurrent Realization of Reactive Systems and Their Morphisms},
  booktitle    = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  pages        = {346--379},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8\_11},
  doi          = {10.1007/3-540-45541-8\_11},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BednarczykB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/BruniM01,
  author       = {Roberto Bruni and
                  Ugo Montanari},
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Transactions and Zero-Safe Nets},
  booktitle    = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  pages        = {380--426},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8\_12},
  doi          = {10.1007/3-540-45541-8\_12},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BruniM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/BruniS01,
  author       = {Roberto Bruni and
                  Vladimiro Sassone},
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Two Algebraic Process Semantics for Contextual Nets},
  booktitle    = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  pages        = {427--456},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8\_13},
  doi          = {10.1007/3-540-45541-8\_13},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BruniS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/DeselJ01,
  author       = {J{\"{o}}rg Desel and
                  Gabriel Juh{\'{a}}s},
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {''What Is a Petri Net?''},
  booktitle    = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  pages        = {1--25},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8\_1},
  doi          = {10.1007/3-540-45541-8\_1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/DeselJ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/DeselJL01,
  author       = {J{\"{o}}rg Desel and
                  Gabriel Juh{\'{a}}s and
                  Robert Lorenz},
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Petri Nets over Partial Algebra},
  booktitle    = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  pages        = {126--172},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8\_6},
  doi          = {10.1007/3-540-45541-8\_6},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/DeselJL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/DrosteS01,
  author       = {Manfred Droste and
                  R. M. Shortt},
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Continuous Petri Nets and Transition Systems},
  booktitle    = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  pages        = {457--484},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8\_14},
  doi          = {10.1007/3-540-45541-8\_14},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/DrosteS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/ErmelW01,
  author       = {Claudia Ermel and
                  Michael Weber},
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Implementation of Parameterized Net Classes with the Petri Net Kernel
                  of the {\guillemotright}Petri Net Baukasten{\guillemotleft}},
  booktitle    = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  pages        = {79--102},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8\_4},
  doi          = {10.1007/3-540-45541-8\_4},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/ErmelW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/GajewskyE01,
  author       = {Magdalena Gajewsky and
                  Hartmut Ehrig},
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {The {\guillemotright}Petri Net Baukasten{\guillemotleft}: An Overview},
  booktitle    = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  pages        = {26--53},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8\_2},
  doi          = {10.1007/3-540-45541-8\_2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/GajewskyE01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/GruhnW01,
  author       = {Volker Gruhn and
                  Ursula Wellen},
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Process Landscaping: Modelling Distributed Processes and Proving Properties
                  of Distributed Process Models},
  booktitle    = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  pages        = {103--125},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8\_5},
  doi          = {10.1007/3-540-45541-8\_5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/GruhnW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/PadbergE01,
  author       = {Julia Padberg and
                  Hartmut Ehrig},
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Parameterized Net Classes: {A} Uniform Approach to Petri Net Classes},
  booktitle    = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  pages        = {173--229},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8\_7},
  doi          = {10.1007/3-540-45541-8\_7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/PadbergE01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/PadbergER01,
  author       = {Julia Padberg and
                  Hartmut Ehrig and
                  Grzegorz Rozenberg},
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Behavior and Realization Construction for Petri Nets Based on Free
                  Monoid and Power Set Graphs},
  booktitle    = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  pages        = {230--249},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8\_8},
  doi          = {10.1007/3-540-45541-8\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/PadbergER01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/StehrMO01,
  author       = {Mark{-}Oliver Stehr and
                  Jos{\'{e}} Meseguer and
                  Peter Csaba {\"{O}}lveczky},
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Rewriting Logic as a Unifying Framework for Petri Nets},
  booktitle    = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  pages        = {250--303},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8\_9},
  doi          = {10.1007/3-540-45541-8\_9},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/StehrMO01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/WeberLB01,
  author       = {Herbert Weber and
                  Sabine Lembke and
                  Alexander Borusan},
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Improving the Usability of Petri Nets with the {\guillemotright}Petri
                  Net Baukasten{\guillemotleft}},
  booktitle    = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  pages        = {54--78},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8\_3},
  doi          = {10.1007/3-540-45541-8\_3},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/WeberLB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/apn/2001u,
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8},
  doi          = {10.1007/3-540-45541-8},
  isbn         = {3-540-43067-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/2001u.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.