For the most recent entries see the
Petri Nets Newsletter.
Pomello, 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.
-
Balzarotti, C.;
De Cindio, F.;
Pomello, L.:
Observation equivalence for the semantics of inheritance.
1999.
-
Pomello, L.;
Rozenberg, G.;
Simone, C.:
A Survey of Equivalence Notions for Net Based Systems.
1992.
-
Best, Eike;
Devillers, Raymond;
Kiehn, Astrid;
Pomello, Lucia:
Concurrent Bisimulations in Petri Nets.
1991.
-
Bernardinello, L.;
Pomello, L.;
Simone, C.:
Categories of EN Systems and Local State Transformation Algebras.
1991.
-
Diamantini, C.;
Kasangian, S.;
Pomello, L.;
Simone, C.:
Elementary Nets and 2-Categories.
1991.
-
Pomello, L.;
Simone, C.:
An Algebraic Characterisation of EN System (Observable) State Space.
1991.
-
Pomello, Lucia:
Refinement of Concurrent Systems Based on Local State Transformation.
1990.
-
Pomello, L.;
Simone, C.:
A State Transformation Preorder Over a Class of EN-systems.
1989.
-
Pomello, L.;
Simone, C.:
Concurrent Systems as Logic State Transformation Algebras: the Case of Elementary Net Systems.
1989.
-
Best, Eike;
Devillers, Raymond;
Kiehn, Astrid;
Pomello, Lucia:
Fully Concurrent Bisimulation.
1989.
-
de Cindio, F.;
de Michelis, G.;
Pomello, L.;
Simone, C.:
A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence.
1988.
-
Pomello, L.:
Observatore, Reti di Petri, Processi.
1987.
-
Pomello, L.:
Observing Net Behaviour.
1987.
-
de Cindio, F.;
de Michelis, G.;
Pomello, L.;
Simone, C.:
Exhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design.
1985.
-
de Michelis, G.;
Pomello, L.;
Simone, C.:
Observing Nets.
1985.
-
Pomello, L.:
Some Equivalence Notions for Concurrent Systems.
1984.
-
de Cindio, F.;
de Michelis, G.;
Pomello, L.;
Simone, C.:
Conditions and Tools for an Effective Negotiation During the Organization/Information Systems Design Process.
1983.
-
de Cindio, F.;
de Michelis, G.;
Pomello, L.;
Simone, C.:
Equivalence Notions for Concurrent Systems.
1983.
-
de Cindio, F.;
de Michelis, G.;
Pomello, L.;
Simone, C.:
Milner's Communicating Systems and Petri Nets.
1983.
-
de Cindio, F.;
de Michelis, G.;
Pomello, L.;
Simone, C.:
Real System Modelling: A Formal but Realistic Approach to Organizational Design.
1983.
-
de Cindio, F.;
de Michelis, G.;
Pomello, L.;
Simone, C.:
Superposed Automata Nets.
1982.
-
de Cindio, F.;
de Michelis, G.;
Pomello, L.;
Simone, C.:
A Petri Net Model of CSP.
1981.
-
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