| 2007 |
|---|
| 10 | EE | Luca Bernardinello,
Nicola Bonzanni,
Marco Mascheroni,
Lucia Pomello:
Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets.
Workshop on Membrane Computing 2007: 124-137 |
| 2004 |
|---|
| 9 | EE | Lucia Pomello,
Luca Bernardinello:
Formal Tools for Modular System Development.
ICATPN 2004: 77-96 |
| 8 | EE | Marek A. Bednarczyk,
Luca Bernardinello,
Wieslaw Pawlowski,
Lucia Pomello:
Modelling Mobility with Petri Hypernets.
WADT 2004: 28-44 |
| 2003 |
|---|
| 7 | EE | Marek A. Bednarczyk,
Luca Bernardinello,
Benoît Caillaud,
Wieslaw Pawlowski,
Lucia Pomello:
Modular System Development with Pullbacks.
ICATPN 2003: 140-160 |
| 6 | | Luca Bernardinello,
Carlo Ferigato,
Lucia Pomello:
An algebraic model of observable properties in distributed systems.
Theor. Comput. Sci. 290(1): 637-668 (2003) |
| 1997 |
|---|
| 5 | | Luca Bernardinello,
Lucia Pomello:
A Category of Transition Systems and Its Relations with Orthomodular Posets.
MFCS 1997: 139-148 |
| 4 | EE | Eric Badouel,
Luca Bernardinello,
Philippe Darondeau:
The Synthesis Problem for Elementary Net Systems is NP-Complete.
Theor. Comput. Sci. 186(1-2): 107-134 (1997) |
| 1995 |
|---|
| 3 | | Eric Badouel,
Luca Bernardinello,
Philippe Darondeau:
Polynomial Algorithms for the Synthesis of Bounded Nets.
TAPSOFT 1995: 364-378 |
| 1993 |
|---|
| 2 | | Luca Bernardinello:
Synthesis of Net Systems.
Application and Theory of Petri Nets 1993: 89-105 |
| 1992 |
|---|
| 1 | | Luca Bernardinello,
Fiorella de Cindio:
A survey of basic net models and modular net classes.
Advances in Petri Nets: The DEMON Project 1992: 304-351 |
