For the most recent entries see the
Petri Nets Newsletter.
Bernardinello, L.
-
Bednarczyk, Marek A.;
Bernardinello, Luca;
Pawlowski, Wieslaw;
Pomello, Lucia:
Modelling Mobility with Petri Hypernets.
2005.
-
Pomello, Lucia;
Bernardinello, Luca:
Formal Tools for Modular System Development.
2004.
-
Bednarczyk, Marek A.;
Bernardinello, Luca;
Caillaud, Benoît;
Pawlowski, Wieslaw;
Pomello, Lucia:
Modular System Development with Pullbacks.
2003.
-
Badouel, Eric;
Bernardinello, Luca;
Darondeau, Philippe:
Polynomial Algorithms for the Synthesis of Bounded Nets.
1995.
-
Bernardinello, Luca;
De Michelis, Giorgio;
Petruni, Katia;
Vigna, Sebastiano:
On the Synchronic Structure of Transition Systems.
1995.
-
Bernardinello, L.:
Synthesis of Net Systems.
1993.
-
Bernardinello, Luca;
De Cindio, Fiorella:
A Survey of Basic Net Models and Modular Net Classes.
1992.
-
Bernardinello, L.;
Pomello, L.;
Simone, C.:
Categories of EN Systems and Local State Transformation Algebras.
1991.
-
Bednarczyk, M.A.;
Bernardinello, L.;
Pawlowski, W.;
Pomello, L.:
From Petri hypernets to 1-safe nets.
06.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography