( en | de | ru )

 

Disambiguation of "Bernardinello, Luca"

Author of the publication

copydeleteadd this publication to your clipboard
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets.

, , , and . Trans. Petri Nets Other Model. Concurr., (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Luca Rizzini

Luca Tranchini

Luca Haiberger

Luca Redaelli

Luca Criscuolo

 

Other publications of authors with the same name

Orthomodular Lattices Induced by the Concurrency Relation, , and . DCM, volume 9 of EPTCS, page 12-21. (2009)Synthesis of Transition Systems from Quantum Logics., , , and . Fundam. Informaticae, 154 (1-4): 25-36 (2017)Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach., , , and . Softw. Syst. Model., 22 (1): 351-375 (February 2023)Orthomodular Lattices in Occurrence Nets., , and . Petri Nets, volume 5606 of Lecture Notes in Computer Science, page 163-182. Springer, (2009)Synthesis of Net Systems.. Application and Theory of Petri Nets, volume 691 of Lecture Notes in Computer Science, page 89-105. Springer, (1993)A Category of Transition Systems and Its Relations with Orthomodular Posets., and . MFCS, volume 1295 of Lecture Notes in Computer Science, page 139-148. Springer, (1997)Solving a Safety Game on the Unfolding of Safe Petri Nets., , and . PNSE@Petri Nets, volume 3430 of CEUR Workshop Proceedings, page 53-69. CEUR-WS.org, (2023)On Stability of Regional Orthomodular Posets., , , and . ATAED@Petri Nets/ACSD, volume 1847 of CEUR Workshop Proceedings, page 89-105. CEUR-WS.org, (2017)An Asynchronous Game on Distributed Petri Nets., , and . PNSE@Petri Nets/ACSD, volume 2424 of CEUR Workshop Proceedings, page 17-36. CEUR-WS.org, (2019)Modelling and Analysing Systems of Agents by Agent-aware Transition Systems., , , and . NATO ASI Mining Massive Data Sets for Security, volume 19 of NATO Science for Peace and Security Series - D: Information and Communication Security, page 103-112. IOS Press, (2007)