Подписаться
Luca Bernardinello
Luca Bernardinello
Dipartimento di informatica, sistemistica e comunicazione - Università degli studi di Milano Bicocca
Подтвержден адрес электронной почты в домене unimib.it
Название
Процитировано
Процитировано
Год
Polynomial algorithms for the synthesis of bounded nets
E Badouel, L Bernardinello, P Darondeau
TAPSOFT'95: Theory and Practice of Software Development: 6th International …, 1995
2051995
A survey of basic net models and modular net classes
L Bernardinello, F De Cindio
Advances in Petri Nets 1992, 304-351, 2005
1952005
Petri net synthesis
E Badouel, L Bernardinello, P Darondeau
Springer, 2015
1912015
The synthesis problem for elementary net systems is NP-complete
E Badouel, L Bernardinello, P Darondeau
Theoretical Computer Science 186 (1-2), 107-134, 1997
1301997
Synthesis of net systems
L Bernardinello
Application and Theory of Petri Nets 1993: 14th International Conference …, 1993
881993
On the synchronic structure of transition systems
L Bernardinello, G De Michelis, K Petruni, S Vigna
Structures in Concurrency Theory: Proceedings of the International Workshop …, 1995
741995
Modelling mobility with Petri hypernets
MA Bednarczyk, L Bernardinello, W Pawłowski, L Pomello
International Workshop on Algebraic Development Techniques, 28-44, 2004
672004
Modular system development with pullbacks
MA Bednarczyk, L Bernardinello, B Caillaud, W Pawłowski, L Pomello
Applications and Theory of Petri Nets 2003: 24th International Conference …, 2003
432003
An algebraic model of observable properties in distributed systems
L Bernardinello, C Ferigato, L Pomello
Theoretical Computer Science 290 (1), 637-668, 2003
252003
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
202007
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
192013
Synthesis of Net Systems. Application and Theory of Petri Nets
L Bernardinello
Lecture Notes in Computer Science 691, 89-105, 1993
161993
Formal tools for modular system development
L Pomello, L Bernardinello
International Conference on Application and Theory of Petri Nets, 77-96, 2004
152004
Towards Modular Synthesis of Elementary Net Systems
L Bernardinello, C Ferigato, L Pomello
Synthesis and Control of Discrete Event Systems, 103-113, 2002
142002
Non-interference notions based on reveals and excludes relations for Petri nets
L Bernardinello, G Kılınç, L Pomello
Transactions on Petri Nets and Other Models of Concurrency XI, 49-70, 2016
112016
Closure operators and lattices derived from concurrency in posets and occurrence nets
L Bernardinello, L Pomello, S Rombola
Fundamenta Informaticae 105 (3), 211-235, 2010
112010
Propriétés algébriques et combinatoires des régions dans les graphes et leur application à la synthèse de réseaux
L Bernardinello
Rennes 1, 1998
101998
Weak observable liveness and infinite games on finite graphs
L Bernardinello, G Kılınç, L Pomello
Application and Theory of Petri Nets and Concurrency: 38th International …, 2017
92017
Modelling Mobility with Petri Hypernets. 17th Int. Conf. on Recent Trends in Algebraic Development Techniques, WADT’04. LNCS vol. 3423
MA Bednarczyk, L Bernardinello, W Pawlowski, L Pomello
Springer-Verlag, 2004
92004
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach
R Nesterov, L Bernardinello, I Lomazova, L Pomello
Software and Systems Modeling 22 (1), 351-375, 2023
72023
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20