
Search the dblp DataBase
Luca Bernardinello:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Luca Bernardinello
Synthesis of Net Systems. [Citation Graph (0, 0)][DBLP] Application and Theory of Petri Nets, 1993, pp:89105 [Conf]
 Luca Bernardinello, Fiorella de Cindio
A survey of basic net models and modular net classes. [Citation Graph (0, 0)][DBLP] Advances in Petri Nets: The DEMON Project, 1992, pp:304351 [Conf]
 Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello
Modular System Development with Pullbacks. [Citation Graph (0, 0)][DBLP] ICATPN, 2003, pp:140160 [Conf]
 Lucia Pomello, Luca Bernardinello
Formal Tools for Modular System Development. [Citation Graph (0, 0)][DBLP] ICATPN, 2004, pp:7796 [Conf]
 Luca Bernardinello, Lucia Pomello
A Category of Transition Systems and Its Relations with Orthomodular Posets. [Citation Graph (0, 0)][DBLP] MFCS, 1997, pp:139148 [Conf]
 Eric Badouel, Luca Bernardinello, Philippe Darondeau
Polynomial Algorithms for the Synthesis of Bounded Nets. [Citation Graph (0, 0)][DBLP] TAPSOFT, 1995, pp:364378 [Conf]
 Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello
Modelling Mobility with Petri Hypernets. [Citation Graph (0, 0)][DBLP] WADT, 2004, pp:2844 [Conf]
 Eric Badouel, Luca Bernardinello, Philippe Darondeau
The Synthesis Problem for Elementary Net Systems is NPComplete. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1997, v:186, n:12, pp:107134 [Journal]
 Luca Bernardinello, Carlo Ferigato, Lucia Pomello
An algebraic model of observable properties in distributed systems. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2003, v:290, n:1, pp:637668 [Journal]
Orthomodular Lattices in Occurrence Nets. [Citation Graph (, )][DBLP]
Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets. [Citation Graph (, )][DBLP]
Orthomodular Lattices Induced by the Concurrency Relation [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
