G. Michele Pinna

CoRR, 2023

A Truly Concurrent Semantics for Reversible CCS.

[BibT_eX]

[DOI]

CoRR, 2023

Relating Reversible Petri Nets and Reversible Event Structures, Categorically.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

2022

A Petri net view of covalent bonds.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2022

2021

A new operational representation of dependencies in Event Structures.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2021

Memory associated with membranes systems.

[BibT_eX]

[DOI]

J. Membr. Comput., 2021

Towards a Truly Concurrent Semantics for Reversible CCS.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 13th International Conference, 2021

A distributed operational view of Reversible Prime Event Structures.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Foundations of Reversible Computation.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

Representing Dependencies in Event Structures.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2020

<i>Spreading</i> nets: A uniform approach to unfoldings.

[BibT_eX]

[DOI]

Eric Fabre

J. Log. Algebraic Methods Program., 2020

Reversible Occurrence Nets and Causal Reversible Prime Event Structures.

[BibT_eX]

[DOI]

Iain Phillips

Irek Ulidowski

Proceedings of the Reversible Computation - 12th International Conference, 2020

Operational Representation of Dependencies in Context-Dependent Event Structures.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2020

2019

Reversible Causal Nets and Reversible Event Structures.

[BibT_eX]

[DOI]

Iain C. C. Phillips

Irek Ulidowski

CoRR, 2019

2018

Toward a Uniform Approach to the Unfolding of Nets.

[BibT_eX]

[DOI]

Eric Fabre

Proceedings of the Proceedings 11th Interaction and Concurrency Experience, 2018

2017

Petri nets and dynamic causality for service-oriented computations.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2017

Reversing Steps in Membrane Systems Computations.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2017

Merging Relations: A Way to Compact Petri Nets' Behaviors Uniformly.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2017

2016

Contracts as games on event structures.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2016

An Unifying Framework for Compacting Petri Nets Behaviors.

[BibT_eX]

[DOI]

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

2015

Lending Petri nets.

[BibT_eX]

[DOI]

Massimo Bartoletti

Tiziana Cimoli

Sci. Comput. Program., 2015

Models of Circular Causality.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2015

2014

Power of Causal Dependencies in Rule-Based Systems.

[BibT_eX]

[DOI]

Dragos Sburlan

J. Autom. Lang. Comb., 2014

Catalytic and communicating Petri nets are Turing complete.

[BibT_eX]

[DOI]

Inf. Comput., 2014

Circular Causality in Event Structures.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

A note on two notions of compliance.

[BibT_eX]

[DOI]

Massimo Bartoletti

Tiziana Cimoli

Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014

Flow Unfolding of Multi-clock Nets.

[BibT_eX]

[DOI]

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

2013

Lending Petri Nets and Contracts.

[BibT_eX]

[DOI]

Massimo Bartoletti

Tiziana Cimoli

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

2012

Modeling dependencies and simultaneity in membrane system computations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

An event-based model for contracts

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012

Timed Catalytic Petri Nets.

[BibT_eX]

[DOI]

Bogdan Aman

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

Catalytic Petri Nets Are Turing Complete.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2012

2011

How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010

Simultaneity in Event Structures.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Models of Computation, 7th Annual Conference, 2010

2009

Process discovery and Petri nets.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2009

Dependencies and Simultaneity in Membrane Systems

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

2008

Foreword.

[BibT_eX]

[DOI]

Mario Coppo

Elena Lodi

Theory Comput. Syst., 2008

A complete fuzzy logical system to deal with trust management systems.

[BibT_eX]

[DOI]

Tommaso Flaminio

Fuzzy Sets Syst., 2008

An Event Based Semantics of P Systems.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2008

2006

Event Structures with Disabling/Enabling Relation and Event Automata.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

Characterizing Workflow Nets Using Regions.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

2005

Event Structures for the Collective Tokens Philosophy of Inhibitor Nets.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2005, 2005

2004

Domain and event structure semantics for Petri nets with read and inhibitor arcs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

2003

A Tableau Calculus for Hájek's Logic BL.

[BibT_eX]

[DOI]

Franco Montagna

J. Log. Comput., 2003

2002

Investigations on Fragments of First Order Branching Temporal Logic.

[BibT_eX]

[DOI]

Franco Montagna

Math. Log. Q., 2002

2001

Component-based Verification in a Synchronous Setting.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2001

Specifying and verifying reactive systems in a multi-language environment.

[BibT_eX]

[DOI]

Monika Müllerburg

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

2000

A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain.

[BibT_eX]

[DOI]

Franco Montagna

Math. Log. Q., 2000

Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2000

Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2000, 2000

Refinement and Modular Verification with Observers.

[BibT_eX]

[DOI]

Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

1999

Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1999

Coordination of Synchronous Programs.

[BibT_eX]

[DOI]

Reinhard Budde

Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998

Verifying a Time-Triggered Protocol in a Multi-language Environment.

[BibT_eX]

[DOI]

Monika Müllerburg

Proceedings of the Computer Safety, 1998

1997

Synthesis of Nets with Inhibitor Arcs.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

Non Sequential Semantics for Contextual P/T Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1996, 1996

1995

On the Nature of Events: Another Perspective in Concurrency.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1995

Event Automata as a Generic Model of Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the KORSO, 1995

1993

On the Specification of Elementary Reactive Behaviour.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Programming Semantics, 1993

1992

On the Nature of Events.

[BibT_eX]

[DOI]

Andrea Maggiolo-Schettini

Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

1991

A compositional semantics for unmarked predicate/transition nets.

[BibT_eX]