Adrián Puerto Aubel

According to our database, Adrián Puerto Aubel authored at least 9 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

A Finite Prefix for Analyzing Information Flow Among Transitions of a Free-Choice Net.

Federica Adobbati, Görkem Kilinç Soylu, Adrián Puerto Aubel

IEEE Access, 2022

2021

Stability of Regional Orthomodular Posets Under Synchronisation and Refinement.

Federica Adobbati, Carlo Ferigato, Stefano Gandelli, Adrián Puerto Aubel

Trans. Petri Nets Other Model. Concurr., 2021

2019

Algebraic Structures for the Analysis of Distributability of Elementary Systems and their Processes.

Adrián Puerto Aubel

PhD thesis, 2019

Two Operations for Stable Structures of Elementary Regions.

Federica Adobbati, Carlo Ferigato, Stefano Gandelli, Adrián Puerto Aubel

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, 2019

2018

On Stability of Regional Orthomodular Posets.

Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel

Trans. Petri Nets Other Model. Concurr., 2018

Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games.

Luca Bernardinello, Lucia Pomello, Adrián Puerto Aubel, Alessandro Villa

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), 2018

On the Decomposition of Regional Events in Elementary Systems.

Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, 2018

2017

Synthesis of Transition Systems from Quantum Logics.

Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel

Fundam. Informaticae, 2017

Concurrency-Preserving Minimal Process Representation.

Adrián Puerto Aubel

Proceedings of the Relational and Algebraic Methods in Computer Science, 2017