| Sequential and concurrent behaviour in Petri net theory E Best, R Devillers Theoretical Computer Science 55 (1), 87-136, 1987 | 381 | 1987 |
| The box calculus: a new causal algebra with multi-label communication E Best, R Devillers, JG Hall Advances in Petri Nets 1992, 21-69, 1992 | 362 | 1992 |
| Petri net algebra E Best, R Devillers, M Koutny Springer Science & Business Media, 2013 | 309 | 2013 |
| Concurrent bisimulations in Petri nets E Best, R Devillers, A Kiehn, L Pomello Acta Informatica 28, 231-264, 1991 | 189 | 1991 |
| General refinement and recursion operators for the Petri box calculus E Best, R Devillers, J Esparza Annual Symposium on Theoretical Aspects of Computer Science, 130-140, 1993 | 89 | 1993 |
| The non-optimality of the monotonic priority assignments for hard real-time offset free systems J Goossens, R Devillers Real-Time Systems 13, 107-126, 1997 | 80 | 1997 |
| Petri nets, process algebras and concurrent programming languages E Best, R Devillers, M Koutny Advanced Course on Petri Nets, 1-84, 1996 | 66 | 1996 |
| Concurrent and maximally concurrent evolution of nonsequential systems R Janicki, PE Lauer, M Koutny, R Devillers Theoretical Computer Science 43, 213-238, 1986 | 65 | 1986 |
| Liu and Layland's schedulability test revisited R Devillers, J Goossens Information Processing Letters 73 (5-6), 157-161, 2000 | 64 | 2000 |
| Maximality preserving bisimulation R Devillers Theoretical computer science 102 (1), 165-183, 1992 | 56 | 1992 |
| The box algebra= Petri nets+ process expressions E Best, R Devillers, M Koutny Information and Computation 178 (1), 44-100, 2002 | 46 | 2002 |
| Maximality preservation and the ST-idea for action refinements R Devillers Advances in Petri Nets 1992, 108-151, 1992 | 46 | 1992 |
| Feasibility intervals for the deadline driven scheduler with arbitrary deadlines J Goossens, R Devillers Proceedings Sixth International Conference on Real-Time Computing Systems …, 1999 | 45 | 1999 |
| Characterisation of the state spaces of live and bounded marked graph Petri nets E Best, R Devillers Language and Automata Theory and Applications: 8th International Conference …, 2014 | 43 | 2014 |
| Power-aware real-time scheduling upon identical multiprocessor platforms V Nélis, J Goossens, R Devillers, D Milojevic, N Navet 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and …, 2008 | 39 | 2008 |
| A unified model for nets and process algebras E Best, R Devillers, M Koutny Handbook of Process Algebra, 873-944, 2001 | 36 | 2001 |
| Game interpretation of the deadlock avoidance problem R Devillers Communications of the ACM 20 (10), 741-745, 1977 | 34 | 1977 |
| S-invariant analysis of general recursive Petri boxex R Devillers Acta Informatica 32, 313-345, 1995 | 32 | 1995 |
| Bounded choice-free Petri net synthesis: algorithmic issues E Best, R Devillers, U Schlachter Acta Informatica 55, 575-611, 2018 | 31 | 2018 |
| Fully concurrent bisimulation E Best, R Devillers, A Kiehn, L Pomello Acta Informatica 28, 231-261, 1991 | 31 | 1991 |
