Contextual Petri nets, asymmetric event structures, and processes

DOI10.1006/inco.2001.3060zbMath1005.68103OpenAlexW1970326465MaRDI QIDQ1854468

Andrea Corradini, Paolo Baldan, Ugo Montanari

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.2001.3060

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

A verified algorithm enumerating event structures ⋮ Domain and event structure semantics for Petri nets with read and inhibitor arcs ⋮ Comparative trace semantics of time Petri nets ⋮ Configuration structures, event structures and Petri nets ⋮ Reduction of event structures under history preserving bisimulation ⋮ ST-structures ⋮ Boolean networks: beyond generalized asynchronicity ⋮ What topology tells us about diagnosability in partial order semantics ⋮ Replication, refinement \& reachability: complexity in dynamic condition-response graphs ⋮ Unfolding semantics of graph transformation ⋮ Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs ⋮ Non-atomic Transition Firing in Contextual Nets ⋮ Reversibility and asymmetric conflict in event structures ⋮ Towards a categorical representation of reversible event structures ⋮ Unfolding Graph Transformation Systems: Theory and Applications to Verification ⋮ Models of Computation: A Tribute to Ugo Montanari’s Vision ⋮ Concurrency in Boolean networks ⋮ Branching pomsets: design, expressiveness and applications to choreographies ⋮ Modeling dependencies and simultaneity in membrane system computations ⋮ Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict ⋮ Unfolding-based diagnosis of systems with an evolving topology ⋮ Unnamed Item ⋮ Unfolding-Based Diagnosis of Systems with an Evolving Topology ⋮ How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings ⋮ Spreading nets: a uniform approach to unfoldings ⋮ Flow Unfolding of Multi-clock Nets ⋮ Branching cells for asymmetric event structures ⋮ Application of branching cells to QoS aware service orchestrations ⋮ GETGRATS ⋮ Concurrency for Graph Grammars in a Petri net shell ⋮ Processes and unfoldings: concurrent computations in adhesive categories ⋮ Unnamed Item ⋮ McMillan’s Complete Prefix for Contextual Nets ⋮ Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes ⋮ Unnamed Item ⋮ Dynamic Causality in Event Structures ⋮ A Formal Model for the Deferred Update Replication Technique ⋮ Minimisation of event structures ⋮ Pomset bisimulation and unfolding for reset Petri nets

Cites Work

• Process versus unfolding semantics for Place/Transition Petri nets
• On the nature of events: another perspective in concurrency
• Structure of concurrency
• Petri nets, event structures and domains. I
• Contextual nets
• Semantics of inhibitor nets
• On the semantics of place/transition Petri nets
• Efficiency of asynchronous systems and read arcs in petri nets
• Non sequential semantics for contextual P/T nets
• A categorical manifesto
• On relating some models for concurrency
• Contextual occurrence nets and concurrent constraint programming
• On the nature of events
• Interpolants and Symbolic Model Checking
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item