| A survey of equivalence notions for net based systems L Pomello, G Rozenberg, C Simone Advances in Petri Nets 1992, 410-472, 1992 | 191 | 1992 |
| Concurrent bisimulations in Petri nets E Best, R Devillers, A Kiehn, L Pomello Acta Informatica 28, 231-264, 1991 | 188 | 1991 |
| Some equivalence notions for concurrent systems. An overview L Pomello Advances in Petri nets 1985, 381-400, 2005 | 144 | 2005 |
| Concurrency versus interleaving: an instructuve example L Castellano, GD Michelis, L Pomello Bulletin of the EATCS 31, 12-14, 1987 | 111 | 1987 |
| Superposed automata nets F De Cindio, G De Michelis, L Pomello, C Simone Application and Theory of Petri Nets: Selected Papers from the First and the …, 1982 | 91 | 1982 |
| Modelling mobility with Petri hypernets MA Bednarczyk, L Bernardinello, W Pawłowski, L Pomello Recent Trends in Algebraic Development Techniques: 17th International …, 2005 | 67 | 2005 |
| Modular system development with pullbacks MA Bednarczyk, L Bernardinello, B Caillaud, W Pawlowski, L Pomello ICATPN 2679, 140-160, 2003 | 41 | 2003 |
| Fully concurrent bisimulation E Best, R Devillers, A Kiehn, L Pomello Acta Informatica 28, 231-261, 1991 | 33 | 1991 |
| Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbourg, 23.–26. September 1980 … C Girault, W Reisig Springer Berlin Heidelberg, 1982 | 32 | 1982 |
| Milner’s communicating systems and Petri nets F De Cindio, G De Michelis, L Pomello, C Simone Applications and Theory of Petri Nets: Selected Papers from the 3rd European …, 1983 | 27 | 1983 |
| An algebraic model of observable properties in distributed systems L Bernardinello, C Ferigato, L Pomello Theoretical Computer Science 290 (1), 637-668, 2003 | 25 | 2003 |
| Observation equivalences for the semantics of inheritance C Balzarotti, F De Cindio, L Pomello Formal Methods for Open Object-Based Distributed Systems: IFIP TC6/WG6. 1 …, 1999 | 23 | 1999 |
| 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 |
| A state transformation preorder over a class of EN systems L Pomello, C Simone Advances in Petri Nets 1990 10, 436-456, 1991 | 19 | 1991 |
| 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 | 17 | 2013 |
| A Petri net model for CSP F De Cindio, G De Michelis, L Pomello, C Simone Proc. CIL 81, 1981 | 16 | 1981 |
| Formal tools for modular system development L Pomello, L Bernardinello ICATPN 3099, 77-96, 2004 | 15 | 2004 |
| Exhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design. F de Cindio, G De Michelis, L Pomello, C Simone ICDCS, 486-495, 1985 | 15 | 1985 |
| 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 |
| A state transformation equivalence for concurrent systems: Exhibited functionality-equivalence F De Cindio, G De Michelis, L Pomello, C Simone CONCURRENCY 88: International Conference on Concurrency Hamburg, FRG …, 1988 | 12 | 1988 |
