Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Elisabeth Pelz
@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} }
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.