Devillers, Raymond; Tredup, Ronny On the complexity of techniques that make transition systems implementable by Boolean nets. (English) Zbl 07770061 Fundam. Inform. 189, No. 3-4, 261-296 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{R. Devillers} and \textit{R. Tredup}, Fundam. Inform. 189, No. 3--4, 261--296 (2022; Zbl 07770061) Full Text: DOI arXiv
Devillers, Raymond; Tredup, Ronny Some basic techniques allowing Petri net synthesis: complexity and algorithmic issues. (English) Zbl 07609825 Fundam. Inform. 187, No. 2-4, 167-196 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{R. Devillers} and \textit{R. Tredup}, Fundam. Inform. 187, No. 2--4, 167--196 (2022; Zbl 07609825) Full Text: DOI arXiv
Devillers, Raymond; Tredup, Ronny Synthesis of pure and impure Petri nets with restricted place-environments: complexity issues. (English) Zbl 07609824 Fundam. Inform. 187, No. 2-4, 139-165 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{R. Devillers} and \textit{R. Tredup}, Fundam. Inform. 187, No. 2--4, 139--165 (2022; Zbl 07609824) Full Text: DOI arXiv
Devillers, Raymond Articulations and products of transition systems and their applications to Petri net synthesis. (English) Zbl 1522.68360 Fundam. Inform. 183, No. 1-2, 1-31 (2021). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Devillers}, Fundam. Inform. 183, No. 1--2, 1--31 (2021; Zbl 1522.68360) Full Text: DOI arXiv
Best, Eike; Devillers, Raymond; Erofeev, Evgeny; Wimmel, Harro Target-oriented Petri net synthesis. (English) Zbl 1497.68327 Fundam. Inform. 175, No. 1-4, 97-122 (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{E. Best} et al., Fundam. Inform. 175, No. 1--4, 97--122 (2020; Zbl 1497.68327) Full Text: DOI
Arcile, Johan; Devillers, Raymond; Klaudel, Hanna Dynamic exploration of multi-agent systems with periodic timed tasks. (English) Zbl 1497.68479 Fundam. Inform. 175, No. 1-4, 59-95 (2020). MSC: 68T42 68Q85 93A16 PDFBibTeX XMLCite \textit{J. Arcile} et al., Fundam. Inform. 175, No. 1--4, 59--95 (2020; Zbl 1497.68479) Full Text: DOI arXiv
Devillers, Raymond; Hujsa, Thomas Analysis and synthesis of weighted marked graph Petri nets: exact and approximate methods. (English) Zbl 1436.68210 Fundam. Inform. 169, No. 1-2, 1-30 (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Devillers} and \textit{T. Hujsa}, Fundam. Inform. 169, No. 1--2, 1--30 (2019; Zbl 1436.68210) Full Text: DOI
Hujsa, Thomas; Devillers, Raymond On deadlockability, liveness and reversibility in subclasses of weighted Petri nets. (English) Zbl 1400.68135 Fundam. Inform. 161, No. 4, 383-421 (2018). MSC: 68Q85 PDFBibTeX XMLCite \textit{T. Hujsa} and \textit{R. Devillers}, Fundam. Inform. 161, No. 4, 383--421 (2018; Zbl 1400.68135) Full Text: DOI
Devillers, Raymond (ed.); Valmari, Antti (ed.); Penczek, Wojciech (ed.) Application and theory of Petri nets and other models of concurrency: special issue of selected papers from Petri Nets 2015. Preface. (English) Zbl 1368.00059 Fundam. Inform. 146, No. 1, v-vi (2016). MSC: 00B25 68-06 68Q85 PDFBibTeX XMLCite \textit{R. Devillers} (ed.) et al., Fundam. Inform. 146, No. 1, v-vi (2016; Zbl 1368.00059) Full Text: DOI
Best, Eike; Devillers, Raymond Synthesis of live and bounded persistent systems. (English) Zbl 1335.68164 Fundam. Inform. 140, No. 1, 39-59 (2015). MSC: 68Q85 PDFBibTeX XMLCite \textit{E. Best} and \textit{R. Devillers}, Fundam. Inform. 140, No. 1, 39--59 (2015; Zbl 1335.68164) Full Text: DOI
Peschanski, Frédéric; Klaudel, Hanna; Devillers, Raymond A Petri net interpretation of open reconfigurable systems. (English) Zbl 1283.68253 Fundam. Inform. 122, No. 1-2, 85-117 (2013). MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Peschanski} et al., Fundam. Inform. 122, No. 1--2, 85--117 (2013; Zbl 1283.68253) Full Text: DOI
Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej Petri net semantics of the finite \(\pi\)-calculus terms. (English) Zbl 1095.68062 Fundam. Inform. 70, No. 3, 203-226 (2006). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Devillers} et al., Fundam. Inform. 70, No. 3, 203--226 (2006; Zbl 1095.68062)
Devillers, Raymond; Klaudel, Hanna Synchronous and asynchronous communications in composable parametrized high-level Petri nets. (English) Zbl 1096.68104 Fundam. Inform. 66, No. 3, 221-257 (2005). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Devillers} and \textit{H. Klaudel}, Fundam. Inform. 66, No. 3, 221--257 (2005; Zbl 1096.68104)
Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej; Pommereau, Franck Asynchronous box calculus. (English) Zbl 1111.68536 Fundam. Inform. 54, No. 4, 295-344 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Devillers} et al., Fundam. Inform. 54, No. 4, 295--344 (2003; Zbl 1111.68536)
Devillers, Raymond; Goossens, Joël General response time computation for the deadline driven scheduling of periodic tasks. (English) Zbl 0938.68541 Fundam. Inform. 40, No. 2-3, 199-219 (1999). MSC: 68M20 PDFBibTeX XMLCite \textit{R. Devillers} and \textit{J. Goossens}, Fundam. Inform. 40, No. 2--3, 199--219 (1999; Zbl 0938.68541)