| Polynomial algorithms for the synthesis of bounded nets E Badouel, L Bernardinello, P Darondeau TAPSOFT'95: Theory and Practice of Software Development: 6th International …, 1995 | 206 | 1995 |
| Petri net synthesis E Badouel, L Bernardinello, P Darondeau Springer, 2015 | 203 | 2015 |
| A survey of basic net models and modular net classes L Bernardinello, F De Cindio Advances in Petri Nets 1992, 304-351, 2005 | 199 | 2005 |
| The synthesis problem for elementary net systems is NP-complete E Badouel, L Bernardinello, P Darondeau Theoretical Computer Science 186 (1-2), 107-134, 1997 | 134 | 1997 |
| Synthesis of net systems L Bernardinello Application and Theory of Petri Nets 1993: 14th International Conference …, 1993 | 88 | 1993 |
| On the synchronic structure of transition systems L Bernardinello, G De Michelis, K Petruni, S Vigna Structures in Concurrency Theory: Proceedings of the International Workshop …, 1995 | 76 | 1995 |
| Modelling mobility with Petri hypernets MA Bednarczyk, L Bernardinello, W Pawłowski, L Pomello International Workshop on Algebraic Development Techniques, 28-44, 2004 | 68 | 2004 |
| Modular system development with pullbacks MA Bednarczyk, L Bernardinello, B Caillaud, W Pawłowski, L Pomello Applications and Theory of Petri Nets 2003: 24th International Conference …, 2003 | 45 | 2003 |
| An algebraic model of observable properties in distributed systems L Bernardinello, C Ferigato, L Pomello Theoretical Computer Science 290 (1), 637-668, 2003 | 24 | 2003 |
| On preserving structural and behavioural properties by composing net systems on interfaces L Bernardinello, E Monticelli, L Pomello Fundamenta Informaticae 80 (1-3), 31-47, 2007 | 19 | 2007 |
| Local state refinement and composition of elementary net systems: An approach based on morphisms L Bernardinello, E Mangioni, L Pomello Transactions on Petri Nets and Other Models of Concurrency VIII, 48-70, 2013 | 18 | 2013 |
| Synthesis of Net Systems. Application and Theory of Petri Nets L Bernardinello Lecture Notes in Computer Science 691, 89-105, 1993 | 16 | 1993 |
| Formal tools for modular system development L Pomello, L Bernardinello International Conference on Application and Theory of Petri Nets, 77-96, 2004 | 15 | 2004 |
| Towards Modular Synthesis of Elementary Net Systems L Bernardinello, C Ferigato, L Pomello Synthesis and Control of Discrete Event Systems, 103-113, 2002 | 14 | 2002 |
| Non-interference notions based on reveals and excludes relations for Petri nets L Bernardinello, G Kılınç, L Pomello Transactions on Petri Nets and Other Models of Concurrency XI, 49-70, 2016 | 12 | 2016 |
| Closure operators and lattices derived from concurrency in posets and occurrence nets L Bernardinello, L Pomello, S Rombola Fundamenta Informaticae 105 (3), 211-235, 2010 | 11 | 2010 |
| Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach R Nesterov, L Bernardinello, I Lomazova, L Pomello Software and Systems Modeling 22 (1), 351-375, 2023 | 10 | 2023 |
| Weak observable liveness and infinite games on finite graphs L Bernardinello, G Kılınç, L Pomello Application and Theory of Petri Nets and Concurrency: 38th International …, 2017 | 10 | 2017 |
| Propriétés algébriques et combinatoires des régions dans les graphes et leur application à la synthèse de réseaux L Bernardinello Rennes 1, 1998 | 10 | 1998 |
| Modelling Mobility with Petri Hypernets. 17th Int. Conf. on Recent Trends in Algebraic Development Techniques, WADT’04. LNCS vol. 3423 MA Bednarczyk, L Bernardinello, W Pawlowski, L Pomello Springer-Verlag, 2004 | 9 | 2004 |
