default search action
Luca Bernardinello
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j20]Luca Bernardinello, Jetty Kleijn, Laure Petrucci:
Preface. Fundam. Informaticae 190(2-4) (2024) - [c33]Federica Adobbati, Luca Bernardinello, Lucia Pomello:
A Two Player Asynchronous Game With Privacy Constraints on Petri Nets (short paper). ICTCS 2024: 213-218 - 2023
- [j19]Luca Bernardinello
, Irina A. Lomazova
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components. J. Parallel Distributed Comput. 179: 104704 (2023) - [j18]Roman Nesterov
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach. Softw. Syst. Model. 22(1): 351-375 (2023) - [j17]Federica Adobbati
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets. Trans. Petri Nets Other Model. Concurr. 17: 54-83 (2023) - [j16]Federica Adobbati
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets. Trans. Petri Nets Other Model. Concurr. 17: 189-211 (2023) - [c32]Federica Adobbati, Luca Bernardinello, Lucia Pomello:
Solving a Safety Game on the Unfolding of Safe Petri Nets. PNSE@Petri Nets 2023: 53-69 - 2022
- [j15]Luca Bernardinello, Irina A. Lomazova
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. Trans. Petri Nets Other Model. Concurr. 16: 1-23 (2022) - [c31]Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu
Information Flow among Transitions of Bounded Equal-Conflict Petri Nets. PNSE@Petri Nets 2022: 60-79 - [c30]Federica Adobbati, Luca Bernardinello, Lucia Pomello, Riccardo Stramare:
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets. ATAED@Petri Nets 2022: 69-75 - [e1]Luca Bernardinello, Laure Petrucci:
Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings. Lecture Notes in Computer Science 13288, Springer 2022, ISBN 978-3-031-06652-8 [contents] - [i4]Federica Adobbati, Luca Bernardinello, Lucia Pomello:
Looking for winning strategies in two-player games on Petri nets with partial observability. CoRR abs/2204.01603 (2022) - 2021
- [j14]Federica Adobbati
A Two-Player Asynchronous Game on Fully Observable Petri Nets. Trans. Petri Nets Other Model. Concurr. 15: 126-149 (2021) - [c29]Luca Bernardinello:
Topics in Region Theory and Synthesis Problems. Petri Nets 2021: 3-16 - [i3]Federica Adobbati, Luca Bernardinello, Lucia Pomello:
Asynchronous games on Petri nets and ATL. CoRR abs/2107.06866 (2021) - 2020
- [j13]Luca Bernardinello, Carlo Ferigato, Lucia Pomello
Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence. Fundam. Informaticae 171(1-4): 39-56 (2020) - [c28]Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello:
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. PNSE@Petri Nets 2020: 49-67 - [i2]Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello:
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components. CoRR abs/2001.08064 (2020)
2010 – 2019
- 2019
- [c27]Federica Adobbati, Luca Bernardinello, Lucia Pomello:
An Asynchronous Game on Distributed Petri Nets. PNSE@Petri Nets/ACSD 2019: 17-36 - [c26]Federica Adobbati, Luca Bernardinello, Lucia Pomello:
Asynchronous Games on Petri Nets and Partial Order. ICTCS 2019: 139-144 - [p2]Luca Bernardinello, Lucia Pomello:
The Road from Concurrency to Quantum Logics. Carl Adam Petri: Ideas, Personality, Impact 2019: 243-249 - 2018
- [j12]Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel
On Stability of Regional Orthomodular Posets. Trans. Petri Nets Other Model. Concurr. 13: 52-72 (2018) - [c25]Luca Bernardinello, Lucia Pomello, Adrián Puerto Aubel, Alessandro Villa:
Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games. PNSE@Petri Nets/ACSD 2018: 15-34 - [c24]Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello:
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms. ATAED@Petri Nets/ACSD 2018: 23-38 - [c23]Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel:
On the Decomposition of Regional Events in Elementary Systems. ATAED@Petri Nets/ACSD 2018: 39-55 - [i1]Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello:
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms. CoRR abs/1806.04254 (2018) - 2017
- [j11]Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel
Synthesis of Transition Systems from Quantum Logics. Fundam. Informaticae 154(1-4): 25-36 (2017) - [c22]Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel:
On Stability of Regional Orthomodular Posets. ATAED@Petri Nets/ACSD 2017: 89-105 - [c21]Luca Bernardinello, Görkem Kilinç
Weak Observable Liveness and Infinite Games on Finite Graphs. Petri Nets 2017: 181-199 - 2016
- [j10]Luca Bernardinello, Görkem Kilinç
Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets. Trans. Petri Nets Other Model. Concurr. 11: 49-70 (2016) - 2015
- [b1]Éric Badouel, Luca Bernardinello, Philippe Darondeau:
Petri Net Synthesis. Texts in Theoretical Computer Science. An EATCS Series, Springer 2015, ISBN 978-3-662-47966-7, pp. 1-325 - [j9]Kamel Barkaoui, Luca Bernardinello, Andrey Mokhov:
Guest Editorial for Special Issue Application of Concurrency to System Design. ACM Trans. Embed. Comput. Syst. 14(4): 62:1-62:2 (2015) - [c20]Luca Bernardinello, Görkem Kilinç, Lucia Pomello:
Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets. PNSE @ Petri Nets 2015: 59-78 - 2014
- [j8]Luca Bernardinello, Carlo Ferigato, Stefan Haar, Lucia Pomello:
Closed Sets in Occurrence Nets with Conflicts. Fundam. Informaticae 133(4): 323-344 (2014) - [j7]Luca Bernardinello, Görkem Kilinç
Modeling Distributed Private Key Generation by Composing Petri Nets. Trans. Petri Nets Other Model. Concurr. 9: 19-40 (2014) - [c19]Luca Bernardinello, Lucia Pomello, Stefano Scaccabarozzi:
Morphisms on Marked Graphs. PNSE @ Petri Nets 2014: 113-127 - [c18]Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
Orthomodular algebraic lattices related to combinatorial posets. ICTCS 2014: 241-245 - 2013
- [j6]Luca Bernardinello, Elisabetta Mangioni
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms. Trans. Petri Nets Other Model. Concurr. 8: 48-70 (2013) - [c17]Luca Bernardinello, Görkem Kilinç, Elisabetta Mangioni, Lucia Pomello:
Modeling Distributed Private Key Generation by Composing Petri Nets. PNSE+ModPE 2013: 77-96 - 2012
- [c16]Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello:
Local state refinement on Elementary Net Systems: an approach based on morphisms. PNSE 2012: 141-155 - [c15]Luca Bernardinello, Francesco Adalberto Bianchi:
A Concurrent Simulator for Petri Nets Based on the Paradigm of Actors of Hewitt. PNSE 2012: 217-221 - [c14]Luca Bernardinello, Carlo Ferigato, Lucia Pomello:
Between quantum logic and concurrency. QPL 2012: 65-75 - 2010
- [j5]Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets. Fundam. Informaticae 105(3): 211-235 (2010)
2000 – 2009
- 2009
- [c13]Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
Orthomodular Lattices in Occurrence Nets. Petri Nets 2009: 163-182 - [c12]Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Stefania Rombolà:
Closure Operators Associated to Partially Ordered Sets. NCMA 2009: 47-60 - [c11]Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
Orthomodular Lattices Induced by the Concurrency Relation. DCM 2009: 12-21 - 2008
- [j4]Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Bernardinello, Lucia Pomello, Tomasz Borzyszkowski:
A Multi-facet Approach to Dynamic Agent Systems. Fundam. Informaticae 85(1-4): 19-33 (2008) - [c10]Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
On Orthomodular Posets Generated by Transition Systems. QPL/DCM@ICALP 2008: 147-154 - 2007
- [j3]Luca Bernardinello, Elena Monticelli, Lucia Pomello:
On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces. Fundam. Informaticae 80(1-3): 31-47 (2007) - [c9]Luca Bernardinello, Nicola Bonzanni, Marco Mascheroni, Lucia Pomello:
Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets. Workshop on Membrane Computing 2007: 124-137 - [c8]Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski
Modelling and Analysing Systems of Agents by Agent-aware Transition Systems. NATO ASI Mining Massive Data Sets for Security 2007: 103-112 - 2004
- [c7]Lucia Pomello, Luca Bernardinello:
Formal Tools for Modular System Development. ICATPN 2004: 77-96 - [c6]Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski
Modelling Mobility with Petri Hypernets. WADT 2004: 28-44 - 2003
- [j2]Luca Bernardinello, Carlo Ferigato, Lucia Pomello:
An algebraic model of observable properties in distributed systems. Theor. Comput. Sci. 290(1): 637-668 (2003) - [c5]Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski
Modular System Development with Pullbacks. ICATPN 2003: 140-160
1990 – 1999
- 1997
- [j1]Éric Badouel, Luca Bernardinello, Philippe Darondeau:
The Synthesis Problem for Elementary Net Systems is NP-Complete. Theor. Comput. Sci. 186(1-2): 107-134 (1997) - [c4]Luca Bernardinello, Lucia Pomello:
A Category of Transition Systems and Its Relations with Orthomodular Posets. MFCS 1997: 139-148 - 1995
- [c3]Luca Bernardinello, Giorgio De Michelis, Katia Petruni, Sebastiano Vigna:
On The Synchronic Structure of Transition Systems. STRICT 1995: 69-84 - [c2]Éric Badouel, Luca Bernardinello, Philippe Darondeau:
Polynomial Algorithms for the Synthesis of Bounded Nets. TAPSOFT 1995: 364-378 - 1993
- [c1]Luca Bernardinello:
Synthesis of Net Systems. Application and Theory of Petri Nets 1993: 89-105 - 1992
- [p1]Luca Bernardinello, Fiorella de Cindio:
A survey of basic net models and modular net classes. Advances in Petri Nets: The DEMON Project 1992: 304-351
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-08 20:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: