Paolo Baldan

Silvia Crafa

J. ACM, 2014

Behavioral Metrics via Functor Lifting.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

Intransitive Non-Interference by Unfolding.

[BibT_eX]

[DOI]

Francesco Burato

Alberto Carraro

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Encoding Synchronous Interactions Using Labelled Petri Nets.

[BibT_eX]

[DOI]

Filippo Bonchi

Giacoma Valentina Monreale

Proceedings of the Coordination Models and Languages, 2014

BP-Diff: A Tool for Behavioral Comparison of Business Process Models.

[BibT_eX]

[DOI]

Abel Armas

Marlon Dumas

Luciano García-Bañuelos

Proceedings of the BPM Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management (BPM 2014), 2014

Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures.

[BibT_eX]

[DOI]

Abel Armas-Cervantes

Marlon Dumas

Luciano García-Bañuelos

Proceedings of the Business Process Management - 12th International Conference, 2014

Non-interference by Unfolding.

[BibT_eX]

[DOI]

Alberto Carraro

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

Hereditary History-Preserving Bisimilarity: Logics and Automata.

[BibT_eX]

[DOI]

Silvia Crafa

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013

Comparing Metabolic Pathways through Reactions and Potential Fluxes.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2013

Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta.

[BibT_eX]

[DOI]

Nicoletta Cocco

Marta Simeoni

Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 2013

Comparing metabolic pathways through potential fluxes: a selective opening approach.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Biological Processes & Petri Nets, 2013

2012

Efficient unfolding of contextual Petri nets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

2011

A lattice-theoretical perspective on adhesive categories.

[BibT_eX]

[DOI]

J. Symb. Comput., 2011

Adhesivity Is Not Enough: Local Church-Rosser Revisited.

[BibT_eX]

[DOI]

Pawel Sobocinski

Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

Efficient Contextual Unfolding.

[BibT_eX]

[DOI]

César Rodríguez

Stefan Schwoon

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

Petri nets for modelling metabolic pathways: a survey.

[BibT_eX]

[DOI]

Nat. Comput., 2010

Unfolding-based diagnosis of systems with an evolving topology.

[BibT_eX]

[DOI]

Inf. Comput., 2010

From Petri Nets to Graph Transformation Systems.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Sharing in the Graph Rewriting Calculus.

[BibT_eX]

[DOI]

Clara Bertolissi

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations - 5th International Conference, 2010

Concurrency Can't Be Observed, Asynchronously.

[BibT_eX]

[DOI]

Filippo Bonchi

Giacoma Valentina Monreale

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

Encoding Asynchronous Interactions Using Open Petri Nets.

[BibT_eX]

[DOI]

Filippo Bonchi

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Unfolding Grammars in Adhesive Categories.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

McMillan's Complete Prefix for Contextual Nets.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2008

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

A framework for the verification of infinite-state graph transformation systems.

[BibT_eX]

[DOI]

Inf. Comput., 2008

Preface.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, 4th International Conference, 2008

Workshop on Petri Nets and Graph Transformations.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, 4th International Conference, 2008

Open Petri Nets: Non-deterministic Processes and Compositionality.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, 4th International Conference, 2008

Unfolding Graph Transformation Systems: Theory and Applications to Verification.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

Petri Nets Are Dioids.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

A semantic framework for open processes.

[BibT_eX]

[DOI]

Andrea Bracciali

Theor. Comput. Sci., 2007

Unfolding semantics of graph transformation.

[BibT_eX]

[DOI]

Inf. Comput., 2007

Towards a Sharing Strategy for the Graph Rewriting Calculus.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007

Deducing Interactions in Partially Unspecified Biological Systems.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Biology, Second International Conference, 2007

2006

Modelling Calculi with Name Mobility using Graphs with Equivalences.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Term Graph Rewriting, 2006

Towards a Notion of Transaction in Graph Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Foreword.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

A Temporal Graph Logic for Verification of Graph Transformation Systems.

[BibT_eX]

[DOI]

Alberto Lluch-Lafuente

Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

Workshop on Petri Nets and Graph Transformations.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, Third International Conference, 2006

Composition and Decomposition of DPO Transformations with Borrowed Context.

[BibT_eX]

[DOI]

Hartmut Ehrig

Proceedings of the Graph Transformations, Third International Conference, 2006

Graph Transactions as Processes.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, Third International Conference, 2006

Distributed Unfolding of Petri Nets.

[BibT_eX]

[DOI]

Stefan Haar

Proceedings of the Foundations of Software Science and Computation Structures, 2006

Processes for Adhesive Rewriting Systems.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2006

Concurrent Rewriting for Graphs with Equivalences.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

Compositional semantics for open Petri nets based on deterministic processe.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2005

On the Concurrent Semantics of Algebraic Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

A Rewriting Calculus for Cyclic Higher-order Term Graphs.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Term Graph Rewriting, 2004

Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Petri Nets and Graph Transformations, 2004

Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems.

[BibT_eX]

[DOI]

Ingo Stürmer

Proceedings of the Graph Transformations, Second International Conference, 2004

Specifying and Verifying UML Activity Diagrams Via Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Global Computing, IST/FET International Workshop, 2004

Symbolic Equivalences for Open Systems.

[BibT_eX]

[DOI]

Andrea Bracciali

Proceedings of the Global Computing, IST/FET International Workshop, 2004

Summary 2: Graph Grammar Verification through Abstraction.

[BibT_eX]

[DOI]

Arend Rensink

Proceedings of the Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004

Verifying Finite-State Graph Grammars: An Unfolding-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

A category of compositional domain-models for separable Stone spaces.

[BibT_eX]

[DOI]

Furio Honsell

Theor. Comput. Sci., 2003

Verifying a Behavioural Logic for Graph Transformation Systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

A Logic for Analyzing Abstractions of Graph Transformation Systems.

[BibT_eX]

[DOI]

Bernhard König

Proceedings of the Static Analysis, 10th International Symposium, 2003

2002

Coreflective Concurrent Semantics for Single-Pushout Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Pre-nets, Read Arcs and Unfolding: A Functorial Presentation.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

AGILE: Software Architecture for Mobility.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Approximating the Behaviour of Graph Transformation Systems.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation, First International Conference, 2002

High-Level Net Processes.

[BibT_eX]

[DOI]

Proceedings of the Formal and Natural Computing, 2002

MuTACLP: A Language for Temporal Reasoning with Multiple Theories.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

Bisimulation Equivalences for Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Formal and Natural Computing, 2002

Bisimulation by Unification.

[BibT_eX]

[DOI]

Andrea Bracciali

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Contextual Petri Nets, Asymmetric Event Structures, and Processes.

[BibT_eX]

[DOI]

Inf. Comput., 2001

Concurrency for Graph Grammars in a Petri net shell.

[BibT_eX]

[DOI]

Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

A Static Analysis Technique for Graph Transformation Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2001, 2001

Compositional Modeling of Reactive Systems Using Open Nets.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2001, 2001

2000

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

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2000, 2000

1999

Basic Theory of F-Bounded Quantification.

[BibT_eX]

[DOI]

Giorgio Ghelli

Alessandra Raffaetà

Inf. Comput., 1999

History Preserving Bisimulation for Contextual Nets.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Unfolding and Event Structure Semantics for Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structure, 1999

1998

A Characterization of Distance Between 1-Bounded Compact Ultrametic Spaces Through a Universal Space.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1998

Unfolding of Double-Pushout Graph Grammars is a Coreflection.

[BibT_eX]

[DOI]

Proceedings of the Theory and Application of Graph Transformations, 1998

Concatenable Graph Processes: Relating Processes and Derivation Traces.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structure, 1998

1997

Partializing Stone Spaces using SFP Domains (Extended Abstract).

[BibT_eX]

[DOI]

Furio Honsell

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1995

A Fixed-Point Theorem in a Category of Compact Metric Spaces.

[BibT_eX]

[DOI]