BibTeX records: Elisabeth Pelz

download as .bib file

@article{DBLP:journals/fuin/Pelz18,
  author       = {Elisabeth Pelz},
  title        = {Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets},
  journal      = {Fundam. Informaticae},
  volume       = {157},
  number       = {4},
  pages        = {427--442},
  year         = {2018},
  url          = {https://doi.org/10.3233/FI-2018-1636},
  doi          = {10.3233/FI-2018-1636},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Pelz18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/Alhazov0PV16,
  author       = {Artiom Alhazov and
                  Sergiu Ivanov and
                  Elisabeth Pelz and
                  Sergey Verlan},
  title        = {Small Universal Deterministic Petri Nets with Inhibitor Arcs},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {21},
  number       = {1-2},
  pages        = {7--26},
  year         = {2016},
  url          = {https://doi.org/10.25596/jalc-2016-007},
  doi          = {10.25596/JALC-2016-007},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/Alhazov0PV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Pelz16,
  author       = {Elisabeth Pelz},
  editor       = {Bernd{-}Holger Schlingloff},
  title        = {Timed Processes of Interval-Timed Petri Nets},
  booktitle    = {Proceedings of the 25th International Workshop on Concurrency, Specification
                  and Programming, Rostock, Germany, September 28-30, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1698},
  pages        = {13--24},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1698/CS\&\#38;P2016\_02\_Pelz\_Timed-Processes-of-Interval-Timed-Petri-Nets.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:14 +0100},
  biburl       = {https://dblp.org/rec/conf/csp/Pelz16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PelzKP15,
  author       = {Elisabeth Pelz and
                  Abderraouf Kabouche and
                  Louchka Popova{-}Zeugmann},
  editor       = {Daniel Moldt and
                  Heiko R{\"{o}}lke and
                  Harald St{\"{o}}rrle},
  title        = {Interval-Timed Petri Nets with Auto-concurrent Semantics and their
                  State Equation},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering (PNSE'15), including the International Workshop on Petri
                  Nets for Adaptive Discrete Event Control Systems {(ADECS} 2015) {A}
                  satellite event of the conferences: 36th International Conference
                  on Application and Theory of Petri Nets and Concurrency Petri Nets
                  2015 and 15th International Conference on Application of Concurrency
                  to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1372},
  pages        = {245--265},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1372/paper14.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/PelzKP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/WernerPHP14,
  author       = {Matthias Werner and
                  Louchka Popova{-}Zeugmann and
                  Mario Haustein and
                  Elisabeth Pelz},
  title        = {A Holistic State Equation for Timed Petri Nets},
  journal      = {Fundam. Informaticae},
  volume       = {133},
  number       = {2-3},
  pages        = {305--322},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1078},
  doi          = {10.3233/FI-2014-1078},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/WernerPHP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/0001PV14,
  author       = {Sergiu Ivanov and
                  Elisabeth Pelz and
                  Sergey Verlan},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Small Universal Non-deterministic Petri Nets with Inhibitor Arcs},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {186--197},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_17},
  doi          = {10.1007/978-3-319-09704-6\_17},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/0001PV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/WernerPHP13,
  author       = {Matthias Werner and
                  Louchka Popova{-}Zeugmann and
                  Mario Haustein and
                  Elisabeth Pelz},
  editor       = {Marcin S. Szczuka and
                  Ludwik Czaja and
                  Magdalena Kacprzak},
  title        = {A Holistic State Equation for Timed Petri Nets},
  booktitle    = {Proceedings of the 22nd International Workshop on Concurrency, Specification
                  and Programming, Warsaw, Poland},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1032},
  pages        = {448--456},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1032/paper-39.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:14 +0100},
  biburl       = {https://dblp.org/rec/conf/csp/WernerPHP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/IvanovPV13,
  author       = {Sergiu Ivanov and
                  Elisabeth Pelz and
                  Sergey Verlan},
  title        = {Small Universal Petri Nets with Inhibitor Arcs},
  journal      = {CoRR},
  volume       = {abs/1312.4414},
  year         = {2013},
  url          = {http://arxiv.org/abs/1312.4414},
  eprinttype    = {arXiv},
  eprint       = {1312.4414},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/IvanovPV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Popova-ZeugmannP12,
  author       = {Louchka Popova{-}Zeugmann and
                  Elisabeth Pelz},
  title        = {Algebraical Characterisation of Interval-Timed Petri Nets with Discrete
                  Delays},
  journal      = {Fundam. Informaticae},
  volume       = {120},
  number       = {3-4},
  pages        = {341--357},
  year         = {2012},
  url          = {https://doi.org/10.3233/FI-2012-766},
  doi          = {10.3233/FI-2012-766},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Popova-ZeugmannP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/KlaudelKPP10,
  author       = {Hanna Klaudel and
                  Maciej Koutny and
                  Elisabeth Pelz and
                  Franck Pommereau},
  title        = {State Space Reduction for Dynamic Process Creation},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {20},
  pages        = {131--157},
  year         = {2010},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XX\&\#38;a=4},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/KlaudelKPP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscis/KlaudelKPP09,
  author       = {Hanna Klaudel and
                  Maciej Koutny and
                  Elisabeth Pelz and
                  Franck Pommereau},
  title        = {An approach to state space reduction for systems with dynamic process
                  creation},
  booktitle    = {The 24th International Symposium on Computer and Information Sciences,
                  {ISCIS} 2009, 14-16 September 2009, North Cyprus},
  pages        = {543--548},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/ISCIS.2009.5291864},
  doi          = {10.1109/ISCIS.2009.5291864},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iscis/KlaudelKPP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BourouletDKPP08,
  author       = {Roland Bouroulet and
                  Raymond R. Devillers and
                  Hanna Klaudel and
                  Elisabeth Pelz and
                  Franck Pommereau},
  editor       = {Kees M. van Hee and
                  R{\"{u}}diger Valk},
  title        = {Modeling and Analysis of Security Protocols Using Role Based Specifications
                  and Petri Nets},
  booktitle    = {Applications and Theory of Petri Nets, 29th International Conference,
                  {PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5062},
  pages        = {72--91},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68746-7\_9},
  doi          = {10.1007/978-3-540-68746-7\_9},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BourouletDKPP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/KlaudelKPP08,
  author       = {Hanna Klaudel and
                  Maciej Koutny and
                  Elisabeth Pelz and
                  Franck Pommereau},
  editor       = {John S. Fitzgerald and
                  Anne E. Haxthausen and
                  H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
  title        = {Towards Efficient Verification of Systems with Dynamic Process Creation},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
                  Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5160},
  pages        = {186--200},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85762-4\_13},
  doi          = {10.1007/978-3-540-85762-4\_13},
  timestamp    = {Fri, 28 Feb 2020 14:02:33 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/KlaudelKPP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PelzT07,
  author       = {Elisabeth Pelz and
                  Dietmar Tutsch},
  editor       = {Jetty Kleijn and
                  Alexandre Yakovlev},
  title        = {Formal Models for Multicast Traffic in Network on Chip Architectures
                  with Compositional High-Level Petri Nets},
  booktitle    = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
                  Conference on Applications and Theory of Petri Nets and Other Models
                  of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4546},
  pages        = {381--401},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73094-1\_23},
  doi          = {10.1007/978-3-540-73094-1\_23},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/PelzT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BourouletKP06,
  author       = {Roland Bouroulet and
                  Hanna Klaudel and
                  Elisabeth Pelz},
  title        = {Modelling and verification of authentication using enhanced net semantics
                  of {SPL} (Security Protocol Language)},
  booktitle    = {Sixth International Conference on Application of Concurrency to System
                  Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
  pages        = {179--188},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ACSD.2006.12},
  doi          = {10.1109/ACSD.2006.12},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/BourouletKP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BourouletKP04,
  author       = {Roland Bouroulet and
                  Hanna Klaudel and
                  Elisabeth Pelz},
  title        = {A Semantics of Security Protocol Language {(SPL)} using a Class of
                  Composable High-Level Petri Nets},
  booktitle    = {4th International Conference on Application of Concurrency to System
                  Design {(ACSD} 2004), 16-18 June 2004, Hamilton, Canada},
  pages        = {99--110},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/CSD.2004.1309120},
  doi          = {10.1109/CSD.2004.1309120},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/BourouletKP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/PelzF03,
  author       = {Elisabeth Pelz and
                  Hans Fleischhack},
  title        = {Compositional High Level Petri Nets with Timing Constraints - {A}
                  Comparison},
  booktitle    = {3rd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
  pages        = {132--141},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/CSD.2003.1207707},
  doi          = {10.1109/CSD.2003.1207707},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/PelzF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FleischhackP03,
  author       = {Hans Fleischhack and
                  Elisabeth Pelz},
  editor       = {Wil M. P. van der Aalst and
                  Eike Best},
  title        = {Hierarchical Timed High Level Nets and Their Branching Processes},
  booktitle    = {Applications and Theory of Petri Nets 2003, 24th International Conference,
                  {ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2679},
  pages        = {397--416},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44919-1\_25},
  doi          = {10.1007/3-540-44919-1\_25},
  timestamp    = {Sat, 19 Oct 2019 20:09:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/FleischhackP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/DevillersKP00,
  author       = {Raymond R. Devillers and
                  Hanna Klaudel and
                  Elisabeth Pelz},
  title        = {An Algebraic Box Calculus},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {5},
  number       = {2},
  pages        = {81--107},
  year         = {2000},
  url          = {https://doi.org/10.25596/jalc-2000-081},
  doi          = {10.25596/JALC-2000-081},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/DevillersKP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BestFHKP98,
  author       = {Eike Best and
                  Wojciech Fraczak and
                  Richard P. Hopkins and
                  Hanna Klaudel and
                  Elisabeth Pelz},
  title        = {M-Nets: An Algebra of High-Level Petri Nets, with an Application to
                  the Semantics of Concurrent Programming Languages},
  journal      = {Acta Informatica},
  volume       = {35},
  number       = {10},
  pages        = {813--857},
  year         = {1998},
  url          = {https://doi.org/10.1007/s002360050144},
  doi          = {10.1007/S002360050144},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BestFHKP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BenzakenHKPR98,
  author       = {V{\'{e}}ronique Benzaken and
                  Nicolas Hugon and
                  Hanna Klaudel and
                  Elisabeth Pelz and
                  Robert{-}C. Riemann},
  editor       = {J{\"{o}}rg Desel and
                  Manuel Silva Su{\'{a}}rez},
  title        = {M-net Calculus Based Semantics for Triggers},
  booktitle    = {Application and Theory of Petri Nets 1998, 19th International Conference,
                  {ICATPN} '98, Lisbon, Portugal, June 22-26, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1420},
  pages        = {306--325},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-69108-1\_17},
  doi          = {10.1007/3-540-69108-1\_17},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BenzakenHKPR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FraczakP97,
  author       = {Wojciech Fraczak and
                  Elisabeth Pelz},
  editor       = {Pierre Az{\'{e}}ma and
                  Gianfranco Balbo},
  title        = {Improved Implementations via a New Structural Equivalence on Labelled
                  Nets},
  booktitle    = {Application and Theory of Petri Nets 1997, 18th International Conference,
                  {ICATPN} '97, Toulouse, France, June 23-27, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1248},
  pages        = {117--135},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63139-9\_33},
  doi          = {10.1007/3-540-63139-9\_33},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/FraczakP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestFFHKP95,
  author       = {Eike Best and
                  Hans Fleischhack and
                  Wojciech Fraczak and
                  Richard P. Hopkins and
                  Hanna Klaudel and
                  Elisabeth Pelz},
  editor       = {Giorgio De Michelis and
                  Michel Diaz},
  title        = {A Class of Composable High Level Petri Nets with an Application to
                  the Semantics of B(PN)\({}^{\mbox{2}}\)},
  booktitle    = {Application and Theory of Petri Nets 1995, 16th International Conference,
                  Turin, Italy, June 26-30, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {935},
  pages        = {103--120},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60029-9\_36},
  doi          = {10.1007/3-540-60029-9\_36},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BestFFHKP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/KlaudelP95,
  author       = {Hanna Klaudel and
                  Elisabeth Pelz},
  editor       = {Horst Reichel},
  title        = {Communication as Unification in the Petri Box Calculus},
  booktitle    = {Fundamentals of Computation Theory, 10th International Symposium,
                  {FCT} '95, Dresden, Germany, August 22-25, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {965},
  pages        = {303--312},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60249-6\_62},
  doi          = {10.1007/3-540-60249-6\_62},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/KlaudelP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/strict/BestDPR0T95,
  author       = {Eike Best and
                  Raymond R. Devillers and
                  Elisabeth Pelz and
                  Arend Rensink and
                  Manuel Silva and
                  Enrique Teruel},
  editor       = {J{\"{o}}rg Desel},
  title        = {{CALIBAN} - Esprit Basic Research {WG} 6067},
  booktitle    = {Proceedings of the International Workshop on Structures in Concurrency
                  Theory, {STRICT} 1995, Berlin, Germany, May 11-13, 1995},
  series       = {Workshops in Computing},
  pages        = {2--31},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-1-4471-3078-9\_2},
  doi          = {10.1007/978-1-4471-3078-9\_2},
  timestamp    = {Tue, 25 Jun 2019 18:06:54 +0200},
  biburl       = {https://dblp.org/rec/conf/strict/BestDPR0T95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/strict/BestFFHKP95,
  author       = {Eike Best and
                  Hans Fleischhack and
                  Wojciech Fraczak and
                  Richard P. Hopkins and
                  Hanna Klaudel and
                  Elisabeth Pelz},
  editor       = {J{\"{o}}rg Desel},
  title        = {An M-net Semantics of {B(PN)2}},
  booktitle    = {Proceedings of the International Workshop on Structures in Concurrency
                  Theory, {STRICT} 1995, Berlin, Germany, May 11-13, 1995},
  series       = {Workshops in Computing},
  pages        = {85--100},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-1-4471-3078-9\_6},
  doi          = {10.1007/978-1-4471-3078-9\_6},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/strict/BestFFHKP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Pelz92,
  author       = {Elisabeth Pelz},
  title        = {Normalization of place/transition-systems preserves net behaviour},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {19--44},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260100191},
  doi          = {10.1051/ITA/1992260100191},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Pelz92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/Pelz90,
  author       = {Elisabeth Pelz},
  title        = {Logic Versus Sequential and Concurrent Net Behaviour},
  journal      = {J. Inf. Process. Cybern.},
  volume       = {26},
  number       = {8/9},
  pages        = {461--472},
  year         = {1990},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eik/Pelz90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Pelz88,
  author       = {Elisabeth Pelz},
  editor       = {Grzegorz Rozenberg},
  title        = {About the concurrent behaviour of {EN} systems: definability and closure
                  results},
  booktitle    = {Advances in Petri Nets 1989, covers the 9th European Workshop on Applications
                  and Theory in Petri Nets, held in Venice, Italy in June 1988, selected
                  papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {424},
  pages        = {354--373},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-52494-0\_37},
  doi          = {10.1007/3-540-52494-0\_37},
  timestamp    = {Fri, 17 Jul 2020 16:12:46 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Pelz88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Pelz87,
  author       = {Elisabeth Pelz},
  editor       = {Franz{-}Josef Brandenburg and
                  Guy Vidal{-}Naquet and
                  Martin Wirsing},
  title        = {Closure Properties of Deterministic Petri Nets},
  booktitle    = {{STACS} 87, 4th Annual Symposium on Theoretical Aspects of Computer
                  Science, Passau, Germany, February 19-21, 1987, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {247},
  pages        = {371--382},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0039620},
  doi          = {10.1007/BFB0039620},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/Pelz87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Pelz86,
  author       = {Elisabeth Pelz},
  editor       = {Grzegorz Rozenberg},
  title        = {Infinitary languages of Petri nets and logical sentences},
  booktitle    = {Advances in Petri Nets 1987, covers the 7th European Workshop on Applications
                  and Theory of Petri Nets, Oxford, UK, June 1986},
  series       = {Lecture Notes in Computer Science},
  volume       = {266},
  pages        = {224--237},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-18086-9\_28},
  doi          = {10.1007/3-540-18086-9\_28},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Pelz86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ParigotP85,
  author       = {Michel Parigot and
                  Elisabeth Pelz},
  title        = {A Logical Approach of Petri Net Languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {39},
  pages        = {155--169},
  year         = {1985},
  url          = {https://doi.org/10.1016/0304-3975(85)90136-7},
  doi          = {10.1016/0304-3975(85)90136-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ParigotP85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Pelz85,
  author       = {Elisabeth Pelz},
  title        = {On the Complexity of Theories of Permutations},
  journal      = {Theor. Comput. Sci.},
  volume       = {41},
  pages        = {247--269},
  year         = {1985},
  url          = {https://doi.org/10.1016/0304-3975(85)90074-X},
  doi          = {10.1016/0304-3975(85)90074-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Pelz85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ParigotP85,
  author       = {Michel Parigot and
                  Elisabeth Pelz},
  editor       = {Grzegorz Rozenberg},
  title        = {A logical formalism for the study of the infinite behaviour of Petri
                  nets},
  booktitle    = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
                  and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {222},
  pages        = {346--361},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/BFb0016220},
  doi          = {10.1007/BFB0016220},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/ParigotP85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics