Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Raymond R. Devillers
@book{DBLP:books/sp/BestD24,
author = {Eike Best and
Raymond R. Devillers},
title = {Petri Net Primer - {A} Compendium on the Core Model, Analysis, and
Synthesis},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-48278-6},
doi = {10.1007/978-3-031-48278-6},
isbn = {978-3-031-48277-9},
timestamp = {Mon, 04 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/BestD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/ArcileDK23,
author = {Johan Arcile and
Raymond R. Devillers and
Hanna Klaudel},
title = {An Efficient State Space Construction for a Class of Timed Automata},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {17},
pages = {246--263},
year = {2023},
url = {https://doi.org/10.1007/978-3-662-68191-6\_10},
doi = {10.1007/978-3-662-68191-6\_10},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/ArcileDK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Devillers23,
author = {Raymond R. Devillers},
editor = {Lu{\'{\i}}s Gomes and
Robert Lorenz},
title = {On the Reversibility of Circular Conservative Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 44th International
Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13929},
pages = {307--323},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33620-1\_17},
doi = {10.1007/978-3-031-33620-1\_17},
timestamp = {Wed, 31 May 2023 14:56:55 +0200},
biburl = {https://dblp.org/rec/conf/apn/Devillers23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/ArcileDK23,
author = {Johan Arcile and
Raymond R. Devillers and
Hanna Klaudel},
editor = {Belgacem Ben Hedia and
Yassine Maleh and
Moez Krichen},
title = {Factorization of the State Space Construction for Cyclic Systems with
Data},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 16th International Conference, VECoS 2023, Marrakech, Morocco, October
18-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14368},
pages = {1--14},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49737-7\_1},
doi = {10.1007/978-3-031-49737-7\_1},
timestamp = {Sun, 07 Jan 2024 13:57:56 +0100},
biburl = {https://dblp.org/rec/conf/vecos/ArcileDK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DevillersT22,
author = {Raymond R. Devillers and
Ronny Tredup},
title = {Synthesis of Pure and Impure Petri Nets with Restricted Place-environments:
Complexity Issues},
journal = {Fundam. Informaticae},
volume = {187},
number = {2-4},
pages = {139--165},
year = {2022},
url = {https://doi.org/10.3233/FI-222135},
doi = {10.3233/FI-222135},
timestamp = {Thu, 24 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/DevillersT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DevillersT22a,
author = {Raymond R. Devillers and
Ronny Tredup},
title = {Some Basic Techniques Allowing Petri Net Synthesis: Complexity and
Algorithmic Issues},
journal = {Fundam. Informaticae},
volume = {187},
number = {2-4},
pages = {167--196},
year = {2022},
url = {https://doi.org/10.3233/FI-222136},
doi = {10.3233/FI-222136},
timestamp = {Thu, 24 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/DevillersT22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DevillersT22b,
author = {Raymond R. Devillers and
Ronny Tredup},
title = {On the Complexity of Techniques That Make Transition Systems Implementable
by Boolean Nets},
journal = {Fundam. Informaticae},
volume = {189},
number = {3-4},
pages = {261--296},
year = {2022},
url = {https://doi.org/10.3233/FI-222161},
doi = {10.3233/FI-222161},
timestamp = {Mon, 13 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/DevillersT22b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DevillersT22,
author = {Raymond R. Devillers and
Ronny Tredup},
editor = {Luca Bernardinello and
Laure Petrucci},
title = {Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity
Issues},
booktitle = {Application and Theory of Petri Nets and Concurrency - 43rd International
Conference, {PETRI} {NETS} 2022, Bergen, Norway, June 19-24, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13288},
pages = {213--235},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06653-5\_12},
doi = {10.1007/978-3-031-06653-5\_12},
timestamp = {Mon, 20 Jun 2022 16:55:49 +0200},
biburl = {https://dblp.org/rec/conf/apn/DevillersT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/DevillersT22,
author = {Raymond R. Devillers and
Ronny Tredup},
editor = {Yamine A{\"{\i}}t Ameur and
Florin Craciun},
title = {Complexity of Distributed Petri Net Synthesis},
booktitle = {Theoretical Aspects of Software Engineering - 16th International Symposium,
{TASE} 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13299},
pages = {15--28},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10363-6\_2},
doi = {10.1007/978-3-031-10363-6\_2},
timestamp = {Thu, 07 Jul 2022 17:05:51 +0200},
biburl = {https://dblp.org/rec/conf/tase/DevillersT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-09233,
author = {Raymond R. Devillers and
Ronny Tredup},
title = {On the Complexity of Techniques That Make Transition Systems Implementable
by Boolean Nets},
journal = {CoRR},
volume = {abs/2203.09233},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.09233},
doi = {10.48550/ARXIV.2203.09233},
eprinttype = {arXiv},
eprint = {2203.09233},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-09233.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Devillers21,
author = {Raymond R. Devillers},
title = {Articulations and Products of Transition Systems and their Applications
to Petri Net Synthesis},
journal = {Fundam. Informaticae},
volume = {183},
number = {1-2},
pages = {1--31},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2080},
doi = {10.3233/FI-2021-2080},
timestamp = {Wed, 16 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/Devillers21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DevillersEH21,
author = {Raymond R. Devillers and
Evgeny Erofeev and
Thomas Hujsa},
title = {Efficient Synthesis of Weighted Marked Graphs with Circular Reachability
Graph, and Beyond},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {15},
pages = {75--100},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-63079-2\_4},
doi = {10.1007/978-3-662-63079-2\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/DevillersEH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Devillers21,
author = {Raymond R. Devillers},
editor = {Didier Buchs and
Josep Carmona},
title = {Synthesis of (Choice-Free) Reset Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 42nd International
Conference, {PETRI} {NETS} 2021, Virtual Event, June 23-25, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12734},
pages = {274--291},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76983-3\_14},
doi = {10.1007/978-3-030-76983-3\_14},
timestamp = {Thu, 09 Dec 2021 09:24:11 +0100},
biburl = {https://dblp.org/rec/conf/apn/Devillers21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-00202,
author = {Raymond R. Devillers},
title = {Articulations and Products of Transition Systems and their Applications
to Petri Net Synthesis},
journal = {CoRR},
volume = {abs/2111.00202},
year = {2021},
url = {https://arxiv.org/abs/2111.00202},
eprinttype = {arXiv},
eprint = {2111.00202},
timestamp = {Fri, 05 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-00202.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-03605,
author = {Raymond R. Devillers and
Ronny Tredup},
title = {Some Basic Techniques allowing Petri Net Synthesis: Complexity and
Algorithmic Issues},
journal = {CoRR},
volume = {abs/2112.03605},
year = {2021},
url = {https://arxiv.org/abs/2112.03605},
eprinttype = {arXiv},
eprint = {2112.03605},
timestamp = {Mon, 13 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-03605.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-03608,
author = {Raymond R. Devillers and
Ronny Tredup},
title = {Synthesis of Pure and Impure Petri nets With Restricted Place-environments:
Complexity Issues},
journal = {CoRR},
volume = {abs/2112.03608},
year = {2021},
url = {https://arxiv.org/abs/2112.03608},
eprinttype = {arXiv},
eprint = {2112.03608},
timestamp = {Mon, 13 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-03608.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ArcileDK20,
author = {Johan Arcile and
Raymond R. Devillers and
Hanna Klaudel},
title = {Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks},
journal = {Fundam. Informaticae},
volume = {175},
number = {1-4},
pages = {59--95},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1948},
doi = {10.3233/FI-2020-1948},
timestamp = {Wed, 07 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ArcileDK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BestDEW20,
author = {Eike Best and
Raymond R. Devillers and
Evgeny Erofeev and
Harro Wimmel},
title = {Target-oriented Petri Net Synthesis},
journal = {Fundam. Informaticae},
volume = {175},
number = {1-4},
pages = {97--122},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1949},
doi = {10.3233/FI-2020-1949},
timestamp = {Wed, 07 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BestDEW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ArcileDK20,
author = {Johan Arcile and
Raymond R. Devillers and
Hanna Klaudel},
editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and
Ekkart Kindler and
Heiko R{\"{o}}lke},
title = {Models for Dynamic Exploration of the Statespaces of Autonomous Vehicles},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering co-located with 41st International Conference on Application
and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris,
France, June 24, 2020 (due to {COVID-19:} virtual conference)},
series = {{CEUR} Workshop Proceedings},
volume = {2651},
pages = {29--48},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2651/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/ArcileDK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestDE20,
author = {Eike Best and
Raymond R. Devillers and
Evgeny Erofeev},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {A New Property of Choice-Free Petri Net Systems},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {89--108},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_5},
doi = {10.1007/978-3-030-51831-8\_5},
timestamp = {Tue, 30 Jun 2020 19:29:38 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestDE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ArcileDK20,
author = {Johan Arcile and
Raymond R. Devillers and
Hanna Klaudel},
editor = {Amal El Fallah Seghrouchni and
Gita Sukthankar and
Bo An and
Neil Yorke{-}Smith},
title = {{VERIFCAR:} {A} Framework for Modeling and Model checking Communicating
Autonomous Vehicles},
booktitle = {Proceedings of the 19th International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13,
2020},
pages = {2126--2127},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2020},
url = {https://dl.acm.org/doi/10.5555/3398761.3399098},
doi = {10.5555/3398761.3399098},
timestamp = {Tue, 26 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/ArcileDK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/ArcileDK19,
author = {Johan Arcile and
Raymond R. Devillers and
Hanna Klaudel},
title = {VerifCar: a framework for modeling and model checking communicating
autonomous vehicles},
journal = {Auton. Agents Multi Agent Syst.},
volume = {33},
number = {3},
pages = {353--381},
year = {2019},
url = {https://doi.org/10.1007/s10458-019-09409-x},
doi = {10.1007/S10458-019-09409-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/ArcileDK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DevillersH19,
author = {Raymond R. Devillers and
Thomas Hujsa},
title = {Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact
and Approximate Methods},
journal = {Fundam. Informaticae},
volume = {169},
number = {1-2},
pages = {1--30},
year = {2019},
url = {https://doi.org/10.3233/FI-2019-1837},
doi = {10.3233/FI-2019-1837},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DevillersH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DevillersEH19,
author = {Raymond R. Devillers and
Evgeny Erofeev and
Thomas Hujsa},
title = {Synthesis of Weighted Marked Graphs from Constrained Labelled Transition
Systems: {A} Geometric Approach},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {14},
pages = {172--191},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-60651-3\_7},
doi = {10.1007/978-3-662-60651-3\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/DevillersEH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DevillersEH19,
author = {Raymond R. Devillers and
Evgeny Erofeev and
Thomas Hujsa},
editor = {Wil M. P. van der Aalst and
Robin Bergenthum and
Josep Carmona},
title = {Synthesis of Weighted Marked Graphs from Circular Labelled Transition
Systems},
booktitle = {Proceedings of the International Workshop on Algorithms {\&} Theories
for the Analysis of Event Data 2019 Satellite event of the conferences:
40th International Conference on Application and Theory of Petri Nets
and Concurrency Petri Nets 2019 and 19th International Conference
on Application of Concurrency to System Design {ACSD} 2019, ATAED@Petri
Nets/ACSD 2019, Aachen, Germany, June 25, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2371},
pages = {6--22},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2371/ATAED2019-6-22.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/DevillersEH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Devillers19,
author = {Raymond R. Devillers},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Articulation of Transition Systems and Its Application to Petri Net
Synthesis},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {113--126},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_8},
doi = {10.1007/978-3-030-21571-2\_8},
timestamp = {Tue, 11 Jun 2019 11:30:44 +0200},
biburl = {https://dblp.org/rec/conf/apn/Devillers19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-14387,
author = {Raymond R. Devillers and
Evgeny Erofeev and
Thomas Hujsa},
title = {Efficient Synthesis of Weighted Marked Graphs with Circular Reachability
Graph, and Beyond},
journal = {CoRR},
volume = {abs/1910.14387},
year = {2019},
url = {http://arxiv.org/abs/1910.14387},
eprinttype = {arXiv},
eprint = {1910.14387},
timestamp = {Mon, 04 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-14387.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-00474,
author = {Raymond R. Devillers and
Evgeny Erofeev and
Thomas Hujsa},
title = {Synthesis of Weighted Marked Graphs from Constrained Labelled Transition
Systems: {A} Geometric Approach},
journal = {CoRR},
volume = {abs/1911.00474},
year = {2019},
url = {http://arxiv.org/abs/1911.00474},
eprinttype = {arXiv},
eprint = {1911.00474},
timestamp = {Mon, 11 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-00474.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-07591,
author = {Johan Arcile and
Raymond R. Devillers and
Hanna Klaudel},
title = {Dynamic exploration of multi-agent systems with timed periodic tasks},
journal = {CoRR},
volume = {abs/1911.07591},
year = {2019},
url = {http://arxiv.org/abs/1911.07591},
eprinttype = {arXiv},
eprint = {1911.07591},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-07591.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Devillers18,
author = {Raymond R. Devillers},
title = {Factorisation of transition systems},
journal = {Acta Informatica},
volume = {55},
number = {4},
pages = {339--362},
year = {2018},
url = {https://doi.org/10.1007/s00236-017-0300-y},
doi = {10.1007/S00236-017-0300-Y},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Devillers18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BestDS18,
author = {Eike Best and
Raymond R. Devillers and
Uli Schlachter},
title = {Bounded choice-free Petri net synthesis: algorithmic issues},
journal = {Acta Informatica},
volume = {55},
number = {7},
pages = {575--611},
year = {2018},
url = {https://doi.org/10.1007/s00236-017-0310-9},
doi = {10.1007/S00236-017-0310-9},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BestDS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BestDSW18,
author = {Eike Best and
Raymond R. Devillers and
Uli Schlachter and
Harro Wimmel},
title = {Simultaneous Petri Net Synthesis},
journal = {Sci. Ann. Comput. Sci.},
volume = {28},
number = {2},
pages = {199--236},
year = {2018},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVIII2\&\#38;a=2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BestDSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HujsaD18,
author = {Thomas Hujsa and
Raymond R. Devillers},
title = {On Deadlockability, Liveness and Reversibility in Subclasses of Weighted
Petri Nets},
journal = {Fundam. Informaticae},
volume = {161},
number = {4},
pages = {383--421},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1708},
doi = {10.3233/FI-2018-1708},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HujsaD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BestD18,
author = {Eike Best and
Raymond R. Devillers},
title = {Pre-synthesis of Petri nets based on prime cycles and distance paths},
journal = {Sci. Comput. Program.},
volume = {157},
pages = {41--55},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.07.005},
doi = {10.1016/J.SCICO.2017.07.005},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BestD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DevillersH18,
author = {Raymond R. Devillers and
Thomas Hujsa},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Analysis and Synthesis of Weighted Marked Graph Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {19--39},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_2},
doi = {10.1007/978-3-319-91268-4\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/DevillersH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DevillersEH18,
author = {Raymond R. Devillers and
Evgeny Erofeev and
Thomas Hujsa},
editor = {Wil M. P. van der Aalst and
Robin Bergenthum and
Josep Carmona},
title = {Synthesis of Weighted Marked Graphs from Constrained Labelled Transition
Systems},
booktitle = {Proceedings of the International Workshop on Algorithms {\&} Theories
for the Analysis of Event Data 2018 Satellite event of the conferences:
39th International Conference on Application and Theory of Petri Nets
and Concurrency Petri Nets 2018 and 18th International Conference
on Application of Concurrency to System Design {ACSD} 2018, Bratislava,
Slovakia, June 25, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2115},
pages = {75--90},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2115/ATAED2018-75-90.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/DevillersEH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DevillersS18,
author = {Raymond R. Devillers and
Uli Schlachter},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Factorisation of Petri Net Solvable Transition Systems},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {82--98},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_5},
doi = {10.1007/978-3-319-91268-4\_5},
timestamp = {Tue, 29 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/DevillersS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BestD17,
author = {Eike Best and
Raymond R. Devillers},
title = {Characterisation of the state spaces of marked graph Petri nets},
journal = {Inf. Comput.},
volume = {253},
pages = {399--410},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2016.06.006},
doi = {10.1016/J.IC.2016.06.006},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BestD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HujsaD17,
author = {Thomas Hujsa and
Raymond R. Devillers},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {On Liveness and Deadlockability in Subclasses of Weighted Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 38th International
Conference, {PETRI} {NETS} 2017, Zaragoza, Spain, June 25-30, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10258},
pages = {267--287},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57861-3\_16},
doi = {10.1007/978-3-319-57861-3\_16},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HujsaD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcai/ArcileDKKW17,
author = {Johan Arcile and
Raymond R. Devillers and
Hanna Klaudel and
Witold Klaudel and
Bozena Wozna{-}Szczesniak},
editor = {Sigeru Omatu and
Sara Rodr{\'{\i}}guez and
Gabriel Villarrubia and
Pedro Faria and
Pawel Sitek and
Javier Prieto},
title = {Modeling and checking robustness of communicating autonomous vehicles},
booktitle = {Distributed Computing and Artificial Intelligence, 14th International
Conference, {DCAI} 2017, Porto, Portugal, 21-23 June, 2017},
series = {Advances in Intelligent Systems and Computing},
volume = {620},
pages = {173--180},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-62410-5\_21},
doi = {10.1007/978-3-319-62410-5\_21},
timestamp = {Mon, 11 Mar 2024 20:43:17 +0100},
biburl = {https://dblp.org/rec/conf/dcai/ArcileDKKW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BestDS17,
author = {Eike Best and
Raymond R. Devillers and
Uli Schlachter},
editor = {Bernhard Steffen and
Christel Baier and
Mark van den Brand and
Johann Eder and
Mike Hinchey and
Tiziana Margaria},
title = {A Graph-Theoretical Characterisation of State Separation},
booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
Conference on Current Trends in Theory and Practice of Computer Science,
Limerick, Ireland, January 16-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10139},
pages = {163--175},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51963-0\_13},
doi = {10.1007/978-3-319-51963-0\_13},
timestamp = {Sun, 02 Oct 2022 16:15:51 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BestDS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/em/BrightDS16,
author = {Curtis Bright and
Raymond R. Devillers and
Jeffrey O. Shallit},
title = {Minimal Elements for the Prime Numbers},
journal = {Exp. Math.},
volume = {25},
number = {3},
pages = {321--331},
year = {2016},
url = {https://doi.org/10.1080/10586458.2015.1064048},
doi = {10.1080/10586458.2015.1064048},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/em/BrightDS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DevillersVP16,
author = {Raymond R. Devillers and
Antti Valmari and
Wojciech Penczek},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {146},
number = {1},
pages = {v--vi},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1373},
doi = {10.3233/FI-2016-1373},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DevillersVP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Devillers16,
author = {Raymond R. Devillers},
editor = {J{\"{o}}rg Desel and
Alex Yakovlev},
title = {Products of Transition Systems and Additions of Petri Nets},
booktitle = {16th International Conference on Application of Concurrency to System
Design, {ACSD} 2016, Torun, Poland, June 19-24, 2016},
pages = {65--73},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ACSD.2016.10},
doi = {10.1109/ACSD.2016.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Devillers16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestD16,
author = {Eike Best and
Raymond R. Devillers},
editor = {Fabrice Kordon and
Daniel Moldt},
title = {The Power of Prime Cycles},
booktitle = {Application and Theory of Petri Nets and Concurrency - 37th International
Conference, {PETRI} {NETS} 2016, Toru{\'{n}}, Poland, June 19-24,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9698},
pages = {59--78},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39086-4\_5},
doi = {10.1007/978-3-319-39086-4\_5},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DevillersK16,
author = {Raymond R. Devillers and
Hanna Klaudel},
editor = {Martin Fr{\"{a}}nzle and
Nicolas Markey},
title = {Abstraction Strategies for Computing Travelling or Looping Durations
in Networks of Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 14th International
Conference, {FORMATS} 2016, Quebec, QC, Canada, August 24-26, 2016,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9884},
pages = {140--156},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44878-7\_9},
doi = {10.1007/978-3-319-44878-7\_9},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/DevillersK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BestD15,
author = {Eike Best and
Raymond R. Devillers},
title = {Synthesis and reengineering of persistent systems},
journal = {Acta Informatica},
volume = {52},
number = {1},
pages = {35--60},
year = {2015},
url = {https://doi.org/10.1007/s00236-014-0209-7},
doi = {10.1007/S00236-014-0209-7},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BestD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BestD15a,
author = {Eike Best and
Raymond R. Devillers},
title = {State space axioms for T-systems},
journal = {Acta Informatica},
volume = {52},
number = {2-3},
pages = {133--152},
year = {2015},
url = {https://doi.org/10.1007/s00236-015-0219-0},
doi = {10.1007/S00236-015-0219-0},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BestD15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BestD15,
author = {Eike Best and
Raymond R. Devillers},
title = {Synthesis of Live and Bounded Persistent Systems},
journal = {Fundam. Informaticae},
volume = {140},
number = {1},
pages = {39--59},
year = {2015},
url = {https://doi.org/10.3233/FI-2015-1244},
doi = {10.3233/FI-2015-1244},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BestD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BestD15,
author = {Eike Best and
Raymond R. Devillers},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Synthesis of Bounded Choice-Free Petri Nets},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {128--141},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.128},
doi = {10.4230/LIPICS.CONCUR.2015.128},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/BestD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmmi/ArcileCDDKR15,
author = {Johan Arcile and
Tadeusz Czach{\'{o}}rski and
Raymond R. Devillers and
Jean{-}Yves Didier and
Hanna Klaudel and
Artur Rataj},
editor = {Aleksandra Gruca and
Agnieszka Brachman and
Stanislaw Kozielski and
Tadeusz Czach{\'{o}}rski},
title = {Modelling and Analysing Mixed Reality Applications},
booktitle = {Man-Machine Interactions 4 - 4th International Conference on Man-Machine
Interactions, {ICMMI} 2015, Kocierz Pass, Poland, October 6-9, 2015},
series = {Advances in Intelligent Systems and Computing},
volume = {391},
pages = {3--17},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23437-3\_1},
doi = {10.1007/978-3-319-23437-3\_1},
timestamp = {Fri, 27 Dec 2019 21:28:13 +0100},
biburl = {https://dblp.org/rec/conf/icmmi/ArcileCDDKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ArcileDKDR15,
author = {Johan Arcile and
Jean{-}Yves Didier and
Hanna Klaudel and
Raymond R. Devillers and
Artur Rataj},
editor = {Jun Pang and
Yang Liu and
Sjouke Mauw},
title = {Indefinite waitings in {MIRELA} systems},
booktitle = {Proceedings 4th International Workshop on Engineering Safety and Security
Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015},
series = {{EPTCS}},
volume = {184},
pages = {5--18},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.184.1},
doi = {10.4204/EPTCS.184.1},
timestamp = {Thu, 23 Sep 2021 11:46:10 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArcileDKDR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2015,
editor = {Raymond R. Devillers and
Antti Valmari},
title = {Application and Theory of Petri Nets and Concurrency - 36th International
Conference, {PETRI} {NETS} 2015, Brussels, Belgium, June 21-26, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9115},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19488-2},
doi = {10.1007/978-3-319-19488-2},
isbn = {978-3-319-19487-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestD14,
author = {Eike Best and
Raymond R. Devillers},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {Synthesis of Persistent Systems},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {111--129},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_7},
doi = {10.1007/978-3-319-07734-5\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/DevillersDKA14,
author = {Raymond R. Devillers and
Jean{-}Yves Didier and
Hanna Klaudel and
Johan Arcile},
title = {Deadlock and Temporal Properties Analysis in Mixed Reality Applications},
booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2014, Naples, Italy, November 3-6, 2014},
pages = {55--65},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ISSRE.2014.33},
doi = {10.1109/ISSRE.2014.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/DevillersDKA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BestD14,
author = {Eike Best and
Raymond R. Devillers},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Jos{\'{e}} Luis Sierra{-}Rodr{\'{\i}}guez and
Bianca Truthe},
title = {Characterisation of the State Spaces of Live and Bounded Marked Graph
Petri Nets},
booktitle = {Language and Automata Theory and Applications - 8th International
Conference, {LATA} 2014, Madrid, Spain, March 10-14, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8370},
pages = {161--172},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04921-2\_13},
doi = {10.1007/978-3-319-04921-2\_13},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/BestD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PeschanskiKD13,
author = {Fr{\'{e}}d{\'{e}}ric Peschanski and
Hanna Klaudel and
Raymond R. Devillers},
title = {A Petri Net Interpretation of Open Reconfigurable Systems},
journal = {Fundam. Informaticae},
volume = {122},
number = {1-2},
pages = {85--117},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-784},
doi = {10.3233/FI-2013-784},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/PeschanskiKD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/DevillersDK13,
author = {Raymond R. Devillers and
Jean{-}Yves Didier and
Hanna Klaudel},
editor = {Josep Carmona and
Mihai T. Lazarescu and
Marta Pietkiewicz{-}Koutny},
title = {Implementing Timed Automata Specifications: The "Sandwich"
Approach},
booktitle = {13th International Conference on Application of Concurrency to System
Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
pages = {226--235},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ACSD.2013.26},
doi = {10.1109/ACSD.2013.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/DevillersDK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PeschanskiKD11,
author = {Fr{\'{e}}d{\'{e}}ric Peschanski and
Hanna Klaudel and
Raymond R. Devillers},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {A Petri Net Interpretation of Open Reconfigurable Systems},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {208--227},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_12},
doi = {10.1007/978-3-642-21834-7\_12},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/PeschanskiKD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1011-0220,
author = {Fr{\'{e}}d{\'{e}}ric Peschanski and
Hanna Klaudel and
Raymond R. Devillers},
editor = {Yu{-}Fang Chen and
Ahmed Rezine},
title = {A Decidable Characterization of a Graphical Pi-calculus with Iterators},
booktitle = {Proceedings 12th International Workshop on Verification of Infinite-State
Systems, {INFINITY} 2010, Singapore, Singapore, 21st September 2010},
series = {{EPTCS}},
volume = {39},
pages = {47--61},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.39.4},
doi = {10.4204/EPTCS.39.4},
timestamp = {Mon, 03 Jan 2022 17:11:33 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-0220.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PommereauDK09,
author = {Franck Pommereau and
Raymond R. Devillers and
Hanna Klaudel},
editor = {Peter Habermehl and
Tom{\'{a}}s Vojnar},
title = {Efficient Reachability Graph Representation of Petri Nets With Unbounded
Counters},
booktitle = {Joint Proceedings of the 8th, 9th, and 10th International Workshops
on Verification of Infinite-State Systems, {INFINITY} 2006 / 2007
/ 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September
8, 2007 / Toronto, Canada, August 23, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {239},
pages = {119--129},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.05.034},
doi = {10.1016/J.ENTCS.2009.05.034},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PommereauDK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DevillersKK08,
author = {Raymond R. Devillers and
Hanna Klaudel and
Maciej Koutny},
title = {A compositional Petri net translation of general \emph{pi} -calculus
terms},
journal = {Formal Aspects Comput.},
volume = {20},
number = {4-5},
pages = {429--450},
year = {2008},
url = {https://doi.org/10.1007/s00165-008-0079-2},
doi = {10.1007/S00165-008-0079-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DevillersKK08.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/sutc/NelisGDMN08,
author = {Vincent N{\'{e}}lis and
Jo{\"{e}}l Goossens and
Raymond R. Devillers and
Dragomir Milojevic and
Nicolas Navet},
editor = {Mukesh Singhal and
Giovanna Di Marzo Serugendo and
Jeffrey J. P. Tsai and
Wang{-}Chien Lee and
Kay R{\"{o}}mer and
Yu{-}Chee Tseng and
Han C. W. Hsiao},
title = {Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms},
booktitle = {{IEEE} International Conference on Sensor Networks, Ubiquitous, and
Trustworthy Computing {(SUTC} 2008), 11-13 June 2008, Taichung, Taiwan},
pages = {209--216},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SUTC.2008.31},
doi = {10.1109/SUTC.2008.31},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sutc/NelisGDMN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/YartsevaKDK07,
author = {Anastasia Yartseva and
Hanna Klaudel and
Raymond R. Devillers and
Fran{\c{c}}ois K{\'{e}}p{\`{e}}s},
title = {Incremental and unifying modelling formalism for biological interaction
networks},
journal = {{BMC} Bioinform.},
volume = {8},
year = {2007},
url = {https://doi.org/10.1186/1471-2105-8-433},
doi = {10.1186/1471-2105-8-433},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/YartsevaKDK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/YartsevaDKK07,
author = {Anastasia Yartseva and
Raymond R. Devillers and
Hanna Klaudel and
Fran{\c{c}}ois K{\'{e}}p{\`{e}}s},
title = {From {MIN} model to ordinary differential equations},
journal = {J. Integr. Bioinform.},
volume = {4},
number = {3},
year = {2007},
url = {https://doi.org/10.2390/biecoll-jib-2007-61},
doi = {10.2390/BIECOLL-JIB-2007-61},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/YartsevaDKK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/DevillersKK07,
author = {Raymond R. Devillers and
Hanna Klaudel and
Maciej Koutny},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Modelling Mobility in High-level Petri Nets},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {110--119},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.55},
doi = {10.1109/ACSD.2007.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/DevillersKK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gsem/BertenDL07,
author = {Vandy Berten and
Raymond R. Devillers and
Guy Louchard},
editor = {Ryszard Kowalczyk},
title = {{FIFO} Queuing of Constant Length Fully Synchronous Jobs},
booktitle = {Grid Service Engineering and Management: The 4th International Conference
on Grid Service Engineering and Management, {GSEM} 2007, September
25-26, 2007, Leipzig, Germany},
series = {{LNI}},
volume = {{P-117}},
pages = {81--95},
publisher = {{GI}},
year = {2007},
url = {https://dl.gi.de/handle/20.500.12116/22152},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gsem/BertenDL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0712-2958,
author = {Vincent N{\'{e}}lis and
Jo{\"{e}}l Goossens and
Nicolas Navet and
Raymond R. Devillers and
Dragomir Milojevic},
title = {Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms},
journal = {CoRR},
volume = {abs/0712.2958},
year = {2007},
url = {http://arxiv.org/abs/0712.2958},
eprinttype = {arXiv},
eprint = {0712.2958},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0712-2958.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DevillersKK06,
author = {Raymond R. Devillers and
Hanna Klaudel and
Maciej Koutny},
title = {Petri Net Semantics of the Finite pi-calculus Terms},
journal = {Fundam. Informaticae},
volume = {70},
number = {3},
pages = {203--226},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-3-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DevillersKK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DevillersB06,
author = {Raymond R. Devillers and
Laurent Van Begin},
title = {Boundedness undecidability for synchronized nets},
journal = {Inf. Process. Lett.},
volume = {99},
number = {5},
pages = {208--214},
year = {2006},
url = {https://doi.org/10.1016/j.ipl.2006.04.009},
doi = {10.1016/J.IPL.2006.04.009},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/DevillersB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jec/AsscheGD06,
author = {Maxime Van Assche and
Jo{\"{e}}l Goossens and
Raymond R. Devillers},
title = {Joint garbage collection and hard real-time scheduling},
journal = {J. Embed. Comput.},
volume = {2},
number = {3-4},
pages = {313--326},
year = {2006},
url = {http://content.iospress.com/articles/journal-of-embedded-computing/jec00070},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jec/AsscheGD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/DevillersKK06,
author = {Raymond R. Devillers and
Hanna Klaudel and
Maciej Koutny},
editor = {Kamel Barkaoui and
Ana Cavalcanti and
Antonio Cerone},
title = {A Petri Net Translation of \emph{pi}-Calculus Terms},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2006, Third International
Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4281},
pages = {138--152},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11921240\_10},
doi = {10.1007/11921240\_10},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/ictac/DevillersKK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DevillersK05,
author = {Raymond R. Devillers and
Hanna Klaudel},
title = {Synchronous and Asynchronous Communications in Composable Parameterized
High-Level Petri Nets},
journal = {Fundam. Informaticae},
volume = {66},
number = {3},
pages = {221--257},
year = {2005},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-3-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DevillersK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DevillersKK06,
author = {Raymond R. Devillers and
Hanna Klaudel and
Maciej Koutny},
editor = {Jos C. M. Baeten and
Iain C. C. Phillips},
title = {A Petri Net Semantics of a Simple Process Algebra for Mobility},
booktitle = {Proceedings of the 12th Workshop on Expressiveness on Concurrency,
{EXPRESS} 2005, San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {3},
pages = {71--94},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.05.008},
doi = {10.1016/J.ENTCS.2006.05.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DevillersKK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/DevillersKK04,
author = {Raymond R. Devillers and
Hanna Klaudel and
Maciej Koutny},
title = {Context-based Process Algebras for Mobility},
booktitle = {4th International Conference on Application of Concurrency to System
Design {(ACSD} 2004), 16-18 June 2004, Hamilton, Canada},
pages = {79--88},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/CSD.2004.1309118},
doi = {10.1109/CSD.2004.1309118},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/DevillersKK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DevillersKK04,
author = {Raymond R. Devillers and
Hanna Klaudel and
Maciej Koutny},
editor = {David de Frutos{-}Escrig and
Manuel N{\'{u}}{\~{n}}ez},
title = {Petri Net Semantics of the Finite pi-Calculus},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2004, 24th {IFIP} {WG} 6.1 International Conference, Madrid Spain,
September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3235},
pages = {309--325},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30232-2\_20},
doi = {10.1007/978-3-540-30232-2\_20},
timestamp = {Mon, 03 Jan 2022 22:19:32 +0100},
biburl = {https://dblp.org/rec/conf/forte/DevillersKK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DevillersKKP03,
author = {Raymond R. Devillers and
Hanna Klaudel and
Maciej Koutny and
Franck Pommereau},
title = {Asynchronous Box Calculus},
journal = {Fundam. Informaticae},
volume = {54},
number = {4},
pages = {295--344},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-4-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DevillersKKP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DevillersKR03,
author = {Raymond R. Devillers and
Hanna Klaudel and
Robert{-}C. Riemann},
title = {General parameterised refinement and recursion for the M-net calculus},
journal = {Theor. Comput. Sci.},
volume = {300},
number = {1-3},
pages = {259--300},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00088-9},
doi = {10.1016/S0304-3975(02)00088-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DevillersKR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BestDK02,
author = {Eike Best and
Raymond R. Devillers and
Maciej Koutny},
title = {The Box Algebra = Petri Nets + Process Expressions},
journal = {Inf. Comput.},
volume = {178},
number = {1},
pages = {44--100},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.3117},
doi = {10.1006/INCO.2002.3117},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BestDK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/DevillersKKP02,
author = {Raymond R. Devillers and
Hanna Klaudel and
Maciej Koutny and
Franck Pommereau},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {An Algebra of Non-safe Petri Boxes},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {192--207},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_14},
doi = {10.1007/3-540-45719-4\_14},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/DevillersKKP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0003970,
author = {Eike Best and
Raymond R. Devillers and
Maciej Koutny},
title = {Petri net algebra},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/978-3-662-04457-5},
doi = {10.1007/978-3-662-04457-5},
isbn = {978-3-540-67398-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0003970.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BestDK01,
author = {Eike Best and
Raymond R. Devillers and
Maciej Koutny},
title = {Recursion and Petri nets},
journal = {Acta Informatica},
volume = {37},
number = {11-12},
pages = {781--829},
year = {2001},
url = {https://doi.org/10.1007/PL00013309},
doi = {10.1007/PL00013309},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BestDK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/BestDK01,
author = {Eike Best and
Raymond R. Devillers and
Maciej Koutny},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {A Unified Model for Nets and Process Algebras},
booktitle = {Handbook of Process Algebra},
pages = {873--944},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50032-1},
doi = {10.1016/B978-044482830-9/50032-1},
timestamp = {Fri, 28 Jun 2019 09:45:11 +0200},
biburl = {https://dblp.org/rec/books/el/01/BestDK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DevillersG00,
author = {Raymond R. Devillers and
Jo{\"{e}}l Goossens},
title = {Liu and Layland's schedulability test revisited},
journal = {Inf. Process. Lett.},
volume = {73},
number = {5-6},
pages = {157--161},
year = {2000},
url = {https://doi.org/10.1016/S0020-0190(00)00016-8},
doi = {10.1016/S0020-0190(00)00016-8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/DevillersG00.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/fuin/DevillersG99,
author = {Raymond R. Devillers and
Jo{\"{e}}l Goossens},
title = {General Response Time Computation for the Deadline Driven Scheduling
of Periodic Tasks},
journal = {Fundam. Informaticae},
volume = {40},
number = {2-3},
pages = {199--219},
year = {1999},
url = {https://doi.org/10.3233/FI-1999-402305},
doi = {10.3233/FI-1999-402305},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DevillersG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestDK99,
author = {Eike Best and
Raymond R. Devillers and
Maciej Koutny},
editor = {Susanna Donatelli and
H. C. M. Kleijn},
title = {The Box Algebra - {A} Model of Nets and Process Expressions},
booktitle = {Application and Theory of Petri Nets 1999, 20th International Conference,
{ICATPN} '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1639},
pages = {344--363},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48745-X\_21},
doi = {10.1007/3-540-48745-X\_21},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestDK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/GoossensD99,
author = {Jo{\"{e}}l Goossens and
Raymond R. Devillers},
title = {Feasibility Intervals for the Deadline Driven Scheduler with Arbitrary
Deadlines},
booktitle = {6th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} '99), 13-16 December 1999, Hong Kong, China},
pages = {54--61},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/RTCSA.1999.811193},
doi = {10.1109/RTCSA.1999.811193},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/GoossensD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/DevillersK98,
author = {Raymond R. Devillers and
Maciej Koutny},
title = {Recursive Nets in the Box Algebra},
booktitle = {1st International Conference on Application of Concurrency to System
Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
pages = {239--249},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/CSD.1998.657555},
doi = {10.1109/CSD.1998.657555},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/DevillersK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/GoossensD97,
author = {Jo{\"{e}}l Goossens and
Raymond R. Devillers},
title = {The Non-Optimality of the Monotonic Priority Assignments for Hard
Real-Time Offset Free Systems},
journal = {Real Time Syst.},
volume = {13},
number = {2},
pages = {107--126},
year = {1997},
url = {https://doi.org/10.1023/A:1007980022314},
doi = {10.1023/A:1007980022314},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/GoossensD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DevillersKR97,
author = {Raymond R. Devillers and
Hanna Klaudel and
Robert{-}C. Riemann},
editor = {S. Ramesh and
G. Sivakumar},
title = {General Refinement for High Level Petri Nets},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1346},
pages = {297--311},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0058038},
doi = {10.1007/BFB0058038},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DevillersKR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/BestDK96,
author = {Eike Best and
Raymond R. Devillers and
Maciej Koutny},
editor = {Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Petri Nets, Process Algebras and Concurrent Programming Languages},
booktitle = {Lectures on Petri Nets {II:} Applications, Advances in Petri Nets,
the volumes are based on the Advanced Course on Petri Nets, held in
Dagstuhl, September 1996},
series = {Lecture Notes in Computer Science},
volume = {1492},
pages = {1--84},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65307-4\_46},
doi = {10.1007/3-540-65307-4\_46},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/BestDK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Devillers96,
author = {Raymond R. Devillers},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Petri Boxes and Finite Precedence},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {465--480},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_70},
doi = {10.1007/3-540-61604-7\_70},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Devillers96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Devillers95,
author = {Raymond R. Devillers},
title = {S-Invariant Analysis of General Recursive Petri Boxes},
journal = {Acta Informatica},
volume = {32},
number = {4},
pages = {313--345},
year = {1995},
url = {https://doi.org/10.1007/BF01178382},
doi = {10.1007/BF01178382},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Devillers95.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/DevillersK95,
author = {Raymond R. Devillers and
Hanna Klaudel},
editor = {J{\"{o}}rg Desel},
title = {Refinement and Recursion in a High Level Petri Box Calculus},
booktitle = {Proceedings of the International Workshop on Structures in Concurrency
Theory, {STRICT} 1995, Berlin, Germany, May 11-13, 1995},
series = {Workshops in Computing},
pages = {144--159},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-3078-9\_10},
doi = {10.1007/978-1-4471-3078-9\_10},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/strict/DevillersK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MassartD93,
author = {Thierry Massart and
Raymond R. Devillers},
title = {Equality of Agent Expressions is preserved Under an Extension of the
Universe of Actions},
journal = {Formal Aspects Comput.},
volume = {5},
number = {1},
pages = {79--88},
year = {1993},
url = {https://doi.org/10.1007/BF01211317},
doi = {10.1007/BF01211317},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MassartD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Devillers93,
author = {Raymond R. Devillers},
editor = {Marco Ajmone Marsan},
title = {Construction of S-invariants and S-components for Refined Petri Boxes},
booktitle = {Application and Theory of Petri Nets 1993, 14th International Conference,
Chicago, Illinois, USA, June 21-25, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {691},
pages = {242--261},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56863-8\_50},
doi = {10.1007/3-540-56863-8\_50},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Devillers93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BestDE93,
author = {Eike Best and
Raymond R. Devillers and
Javier Esparza},
editor = {Patrice Enjalbert and
Alain Finkel and
Klaus W. Wagner},
title = {General Refinement and Recursion Operators for the Petri Box Calculus},
booktitle = {{STACS} 93, 10th Annual Symposium on Theoretical Aspects of Computer
Science, W{\"{u}}rzburg, Germany, February 25-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {665},
pages = {130--140},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56503-5\_16},
doi = {10.1007/3-540-56503-5\_16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BestDE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Devillers92,
author = {Raymond R. Devillers},
title = {Maximality Preserving Bisimulation},
journal = {Theor. Comput. Sci.},
volume = {102},
number = {1},
pages = {165--183},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90298-T},
doi = {10.1016/0304-3975(92)90298-T},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Devillers92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/apn/BestDH92,
author = {Eike Best and
Raymond R. Devillers and
Jon G. Hall},
editor = {Grzegorz Rozenberg},
title = {The box calculus: a new causal algebra with multi-label communication},
booktitle = {Advances in Petri Nets 1992, The {DEMON} Project},
series = {Lecture Notes in Computer Science},
volume = {609},
pages = {21--69},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55610-9\_167},
doi = {10.1007/3-540-55610-9\_167},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestDH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/apn/Devillers92,
author = {Raymond R. Devillers},
editor = {Grzegorz Rozenberg},
title = {Maximality preservation and the ST-idea for action refinements},
booktitle = {Advances in Petri Nets 1992, The {DEMON} Project},
series = {Lecture Notes in Computer Science},
volume = {609},
pages = {108--151},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55610-9\_170},
doi = {10.1007/3-540-55610-9\_170},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Devillers92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BestDKP91,
author = {Eike Best and
Raymond R. Devillers and
Astrid Kiehn and
Lucia Pomello},
title = {Concurrent Bisimulations in Petri Nets},
journal = {Acta Informatica},
volume = {28},
number = {3},
pages = {231--264},
year = {1991},
url = {https://doi.org/10.1007/BF01178506},
doi = {10.1007/BF01178506},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BestDKP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Devillers88,
author = {Raymond R. Devillers},
editor = {Grzegorz Rozenberg},
title = {The semantics of capacities in {P/T} nets},
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 = {128--150},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-52494-0\_28},
doi = {10.1007/3-540-52494-0\_28},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/apn/Devillers88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BestD87,
author = {Eike Best and
Raymond R. Devillers},
title = {Sequential and Concurrent Behaviour in Petri Net Theory},
journal = {Theor. Comput. Sci.},
volume = {55},
number = {1},
pages = {87--136},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90090-9},
doi = {10.1016/0304-3975(87)90090-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BestD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/BestD87,
author = {Eike Best and
Raymond R. Devillers},
editor = {Martin Wirsing},
title = {Interleaving and partial orders in concurrency: a formal comparison},
booktitle = {Formal Description of Programming Concepts - {III:} Proceedings of
the {IFIP} {TC} 2/WG 2.2 Working Conference on Formal Description
of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986},
pages = {299--324},
publisher = {North-Holland},
year = {1987},
timestamp = {Thu, 10 Jan 2019 14:37:08 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/BestD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JanickiLKD86,
author = {Ryszard Janicki and
Peter E. Lauer and
Maciej Koutny and
Raymond R. Devillers},
title = {Concurrent and Maximally Concurrent Evolution of Nonsequential Systems},
journal = {Theor. Comput. Sci.},
volume = {43},
pages = {213--238},
year = {1986},
url = {https://doi.org/10.1016/0304-3975(86)90177-5},
doi = {10.1016/0304-3975(86)90177-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JanickiLKD86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JanickiLD84,
author = {Ryszard Janicki and
Peter E. Lauer and
Raymond R. Devillers},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Maximally Concurrent Evolution of Non-sequential Systems},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {268--280},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_13},
doi = {10.1007/3-540-15670-4\_13},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/concur/JanickiLD84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/CocuD82,
author = {J. J. Cocu and
Raymond R. Devillers},
title = {On a Class of Allocation Strategies Inducing Bounded Delays Only},
journal = {Comput. J.},
volume = {25},
number = {1},
pages = {52--55},
year = {1982},
url = {https://doi.org/10.1093/comjnl/25.1.52},
doi = {10.1093/COMJNL/25.1.52},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/CocuD82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/LauerTD80,
author = {Peter E. Lauer and
Piero R. Torrigiani and
Raymond R. Devillers},
editor = {Bernard J. Robinet},
title = {Specification of highly parallel and distributed resource management},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {223--239},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_16},
doi = {10.1007/3-540-09981-6\_16},
timestamp = {Thu, 24 Feb 2022 13:41:39 +0100},
biburl = {https://dblp.org/rec/conf/programm/LauerTD80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DevillersL78,
author = {Raymond R. Devillers and
Peter E. Lauer},
title = {A General Mechanism for Avoiding Starvation with Distributed Control},
journal = {Inf. Process. Lett.},
volume = {7},
number = {3},
pages = {156--158},
year = {1978},
url = {https://doi.org/10.1016/0020-0190(78)90082-0},
doi = {10.1016/0020-0190(78)90082-0},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/DevillersL78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Devillers77,
author = {Raymond R. Devillers},
title = {Game Interpretation of the Deadlock Avoidance Problem},
journal = {Commun. {ACM}},
volume = {20},
number = {10},
pages = {741--745},
year = {1977},
url = {https://doi.org/10.1145/359842.359854},
doi = {10.1145/359842.359854},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Devillers77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsym/DevillersL77,
author = {Raymond R. Devillers and
Guy Louchard},
editor = {E. Morlet and
D. Ribbens},
title = {Using Auxiliary Variables in Parallel Programs Verification},
booktitle = {International Computing Symposium 1977, Proceedings of the International
Computing Symposium 1977, Li{\`{e}}ge, Belgium, 4-7 April 1977 (Preprint)},
pages = {217--225},
publisher = {North-Holland},
year = {1977},
timestamp = {Tue, 01 Apr 2003 10:45:57 +0200},
biburl = {https://dblp.org/rec/conf/icsym/DevillersL77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/DevillersL76,
author = {Raymond R. Devillers and
Guy Louchard},
title = {Improvement of Parallelism in a Finite Buffer Sharing Policy},
journal = {Comput. J.},
volume = {19},
number = {3},
pages = {238--245},
year = {1976},
url = {https://doi.org/10.1093/comjnl/19.3.238},
doi = {10.1093/COMJNL/19.3.238},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/DevillersL76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DevillersL73,
author = {Raymond R. Devillers and
Guy Louchard},
title = {Realization of Petri Nets Without Conditional Statements},
journal = {Inf. Process. Lett.},
volume = {2},
number = {4},
pages = {105--107},
year = {1973},
url = {https://doi.org/10.1016/0020-0190(73)90028-8},
doi = {10.1016/0020-0190(73)90028-8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/DevillersL73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-03-06 04:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
