Lucia Pomello

CoRR, 2022

Information Flow among Transitions of Bounded Equal-Conflict Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022

2021

A Two-Player Asynchronous Game on Fully Observable Petri Nets.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2021

Asynchronous games on Petri nets and ATL.

[BibT_eX]

[DOI]

CoRR, 2021

2020

Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence.

[BibT_eX]

[DOI]

Carlo Ferigato

Fundam. Informaticae, 2020

2019

Asynchronous Games on Petri Nets and Partial Order.

[BibT_eX]

[DOI]

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

An Asynchronous Game on Distributed Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019

The Road from Concurrency to Quantum Logics.

[BibT_eX]

[DOI]

Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2018

On Stability of Regional Orthomodular Posets.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2018

Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games.

[BibT_eX]

[DOI]

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

Compositional Discovery of Workflow Nets from Event Logs Using Morphisms.

[BibT_eX]

[DOI]

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

On the Decomposition of Regional Events in Elementary Systems.

[BibT_eX]

[DOI]

2017

Synthesis of Transition Systems from Quantum Logics.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

Weak Observable Liveness and Infinite Games on Finite Graphs.

[BibT_eX]

[DOI]

Görkem Kilinç

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016

Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets.

[BibT_eX]

[DOI]

Görkem Kilinç

Trans. Petri Nets Other Model. Concurr., 2016

2014

Modeling Distributed Private Key Generation by Composing Petri Nets.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2014

Preface.

[BibT_eX]

[DOI]

Serge Haddad

Jetty Kleijn

Fundam. Informaticae, 2014

Closed Sets in Occurrence Nets with Conflicts.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

Orthomodular algebraic lattices related to combinatorial posets.

[BibT_eX]

[DOI]

Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

Morphisms on Marked Graphs.

[BibT_eX]

[DOI]

Stefano Scaccabarozzi

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013

Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms.

[BibT_eX]

[DOI]

Elisabetta Mangioni

Trans. Petri Nets Other Model. Concurr., 2013

2012

Between quantum logic and concurrency.

[BibT_eX]

[DOI]

Carlo Ferigato

Proceedings of the Proceedings 9th Workshop on Quantum Physics and Logic, 2012

Local state refinement on Elementary Net Systems: an approach based on morphisms.

[BibT_eX]

[DOI]

Elisabetta Mangioni

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

2010

Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

2009

Orthomodular Lattices Induced by the Concurrency Relation

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, 2009

Closure Operators Associated to Partially Ordered Sets.

[BibT_eX]

Proceedings of the Workshop on Non-Classical Models for Automata and Applications - NCMA 2009, Wroclaw, Poland, August 31, 2009

Orthomodular Lattices in Occurrence Nets.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets, 2009

2008

A Multi-facet Approach to Dynamic Agent Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

On Orthomodular Posets Generated by Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, 2008

2007

On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces.

[BibT_eX]

[DOI]

Elena Monticelli

Fundam. Informaticae, 2007

Modelling and Analysing Systems of Agents by Agent-aware Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Mining Massive Data Sets for Security, 2007

Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 8th International Workshop, 2007

2004

Modelling Mobility with Petri Hypernets.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Formal Tools for Modular System Development.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

An algebraic model of observable properties in distributed systems.

[BibT_eX]

[DOI]

Carlo Ferigato

Theor. Comput. Sci., 2003

Modular System Development with Pullbacks.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

1999

Observation equivalences for the semantics of inheritance.

[BibT_eX]

C. Balzarotti

Fiorella de Cindio

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

1997

A Category of Transition Systems and Its Relations with Orthomodular Posets.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

1992

An Algebraic Characterisation of Elementary Net System (Observable) State Space.

[BibT_eX]

Carla Simone

Formal Aspects Comput., 1992

A survey of equivalence notions for net based systems.

[BibT_eX]

[DOI]

Grzegorz Rozenberg

Carla Simone

Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

1991

Concurrent Bisimulations in Petri Nets.

[BibT_eX]

[DOI]

Acta Informatica, 1991

1989

Refinement of Concurrent Systems Based on Local State Transformations.

[BibT_eX]

[DOI]

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

A state transformation preorder over a class of EN systems.

[BibT_eX]

[DOI]

Carla Simone

Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

1988

A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence.

[BibT_eX]

[DOI]

Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

1987

Concurrency versus interleaving: an instructuve example.

[BibT_eX]

Luca Castellano

Giorgio De Michelis

Bull. EATCS, 1987

1985

Exhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design.

[BibT_eX]

Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

Some equivalence notions for concurrent systems. An overview.

[BibT_eX]

[DOI]