| Sequential and concurrent behaviour in Petri net theory E Best, R Devillers Theoretical Computer Science 55 (1), 87-136, 1987 | 363 | 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 | 343 | 1992 |
| Petri net algebra E Best, R Devillers, M Koutny Springer Science & Business Media, 2013 | 283 | 2013 |
| Concurrent bisimulations in Petri nets E Best, R Devillers, A Kiehn, L Pomello Acta Informatica 28 (3), 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 | 87 | 1993 |
| The non-optimality of the monotonic priority assignments for hard real-time offset free systems J Goossens, R Devillers Real-Time Systems 13 (2), 107-126, 1997 | 77 | 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 | 63 | 1986 |
| Liu and Layland's schedulability test revisited R Devillers, J Goossens Information Processing Letters 73 (5-6), 157-161, 2000 | 61 | 2000 |
| Maximality preserving bisimulation R Devillers Theoretical computer science 102 (1), 165-183, 1992 | 58 | 1992 |
| Maximality preservation and the ST-idea for action refinements R Devillers Advances in Petri Nets 1992, 108-151, 1992 | 49 | 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 | 43 | 1999 |
| The box algebra= Petri nets+ process expressions E Best, R Devillers, M Koutny Information and Computation 178 (1), 44-100, 2002 | 41 | 2002 |
| Characterisation of the state spaces of live and bounded marked graph Petri nets E Best, R Devillers International Conference on Language and Automata Theory and Applications …, 2014 | 39 | 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 | 38 | 2008 |
| Concurrent behaviour: Sequences, processes and programming languages E Best Gesellschaft für Mathematik und Datenverarbeitung, 1985 | 38 | 1985 |
| A unified model for nets and process algebras E Best, R Devillers, M Koutny Handbook of Process Algebra, 873-944, 2001 | 35 | 2001 |
| Game interpretation of the deadlock avoidance problem R Devillers Communications of the ACM 20 (10), 741-745, 1977 | 34 | 1977 |
| Fully concurrent bisimulation E Best, R Devillers, A Kiehn, L Pomello Acta Informatica 28, 231-261, 1991 | 31 | 1991 |
| S-invariant analysis of general recursive Petri boxex R Devillers Acta Informatica 32 (4), 313-345, 1995 | 29 | 1995 |
