BibTeX records: Milan Urbásek

• > Home > Persons > Milan Urbásek

@phdthesis{DBLP:phd/de/Urbasek2003,
  author       = {Milan Urb{\'{a}}sek},
  title        = {Categorical net transformations for Petri net technology},
  school       = {Berlin Institute of Technology},
  year         = {2003},
  url          = {https://d-nb.info/96896740X},
  isbn         = {3-8325-0327-7},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Urbasek2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Urbasek03,
  author       = {Milan Urb{\'{a}}sek},
  title        = {Net Transformations for Petri Net Technology},
  journal      = {Bull. {EATCS}},
  volume       = {80},
  pages        = {77--94},
  year         = {2003},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Urbasek03.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    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/dfg/BraatzEU03.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:journals/entcs/Urbasek03,
  author       = {Milan Urb{\'{a}}sek},
  editor       = {Roswitha Bardohl and
                  Hartmut Ehrig},
  title        = {Modeling Petri Net Based Systems by Net Transformations: New Developments},
  booktitle    = {Uniform Approaches to Graphical Process Specification Techniques,
                  {UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
                  5-6, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {82},
  number       = {7},
  pages        = {16--33},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)80744-8},
  doi          = {10.1016/S1571-0661(04)80744-8},
  timestamp    = {Thu, 08 Dec 2022 11:16:42 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Urbasek03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Urbasek02,
  author       = {Milan Urb{\'{a}}sek},
  editor       = {Martin Wirsing and
                  Dirk Pattinson and
                  Rolf Hennicker},
  title        = {Preserving Properties in System Redesign: Rule-Based Approach},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 16th International
                  Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2755},
  pages        = {442--456},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/978-3-540-40020-2\_26},
  doi          = {10.1007/978-3-540-40020-2\_26},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Urbasek02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}