English
Related papers

Related papers: On Causal Semantics of Petri Nets

200 papers

We present a unified framework for categorical systems theory which packages a collection of open systems, their interactions, and their maps into a symmetric monoidal loose right module of systems over a symmetric monoidal double category…

Category Theory · Mathematics 2025-05-30 Sophie Libkind , David Jaz Myers

Emergence and causality are two fundamental concepts for understanding complex systems. They are interconnected. On one hand, emergence refers to the phenomenon where macroscopic properties cannot be solely attributed to the cause of…

Physics and Society · Physics 2024-02-27 Bing Yuan , Zhang Jiang , Aobo Lyu , Jiayun Wu , Zhipeng Wang , Mingzhe Yang , Kaiwei Liu , Muyun Mou , Peng Cui

We present theoretical rudiments of Petri nets over ontological graphs as well as the designed and implemented Python toolkit for dealing with such nets. In Petri nets over ontological graphs, the domain knowledge is enclosed in a form of…

Artificial Intelligence · Computer Science 2025-04-14 Krzysztof Pancerz

Contagion processes on networks, including disease spreading, information diffusion, or social behaviors propagation, can be modeled as simple contagion, i.e. involving one connection at a time, or as complex contagion, in which multiple…

Physics and Society · Physics 2023-06-19 Giulia Cencetti , Diego Andrés Contreras , Marco Mancastroppa , Alain Barrat

Hierarchical Petri nets allow a more abstract view and reconfigurable Petri nets model dynamic structural adaptation. In this contribution we present the combination of reconfigurable Petri nets and hierarchical Petri nets yielding…

Discrete Mathematics · Computer Science 2018-02-14 Julia Padberg

We analyse a quantum-like Bayesian Network that puts together cause/effect relationships and semantic similarities between events. These semantic similarities constitute acausal connections according to the Synchronicity principle and…

Artificial Intelligence · Computer Science 2015-08-28 Catarina Moreira , Andreas Wichert

In the following writing we discuss a conceptual framework for representing events and scenarios from the perspective of a novel form of causal analysis. This causal analysis is applied to the events and scenarios so as to determine…

Artificial Intelligence · Computer Science 2018-07-06 Anton Kolonin

It is known that the classical framework of causal models is not general enough to allow for causal reasoning about quantum systems. While the framework has been generalized in a variety of different ways to the quantum case, much of this…

Quantum Physics · Physics 2020-11-23 Jonathan Barrett , Robin Lorenz , Ognyan Oreshkov

Events in distributed systems include sending or receiving messages, or changing some state in a node. Not all events are related, but some events can cause and influence how other, later events, occur. For instance, a reply to a received…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-12-17 Carlos Baquero

Heckerman (1993) defined causal independence in terms of a set of temporal conditional independence statements. These statements formalized certain types of causal interaction where (1) the effect is independent of the order that causes are…

Artificial Intelligence · Computer Science 2015-05-19 David Heckerman , John S. Breese

Trace semantics has been defined for various kinds of state-based systems, notably with different forms of branching such as non-determinism vs. probability. In this paper we claim to identify one underlying mathematical structure behind…

Logic in Computer Science · Computer Science 2015-07-01 Ichiro Hasuo , Bart Jacobs , Ana Sokolova

The semantic web has led to the deployment of ontologies on the web connected through various relations and, in particular, alignments of their vocabularies. There exists several semantics for alignments which make difficult interoperation…

Artificial Intelligence · Computer Science 2014-12-11 Jérôme Euzenat

We propose a neuropsychological approach to the explainability of artificial neural networks, which involves using concepts from human cognitive psychology as relevant heuristic references for developing synthetic explanatory frameworks…

A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality between events, conflicts and schedules due to resource accesses,…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-06-12 Eric Goubault , Samuel Mimram

We develop an approach to combining contextuality with causality, which is general enough to cover causal background structure, adaptive measurement-based quantum computation, and causal networks. The key idea is to view contextuality as…

Quantum Physics · Physics 2024-03-08 Samson Abramsky , Rui Soares Barbosa , Amy Searle

Psychology has had difficulty accounting for the creative, context-sensitive manner in which concepts are used. We believe this stems from the view of concepts as identifiers rather than bridges between mind and world that participate in…

Adaptation and Self-Organizing Systems · Physics 2013-08-26 Liane Gabora , Eleanor Rosch , Diederik Aerts

Recently introduced Petri net-based formalisms advocate the importance of proper representation and management of case objects as well as their co-evolution. In this work we build on top of one of such formalisms and introduce the notion of…

Logic in Computer Science · Computer Science 2022-01-03 Irina A. Lomazova , Alexey A. Mitsyuk , Andrey Rivkin

Transient phenomena play a key role in coordinating brain activity at multiple scales, however,their underlying mechanisms remain largely unknown. A key challenge for neural data science is thus to characterize the network interactions at…

Neurons and Cognition · Quantitative Biology 2022-09-16 Kaidi Shao , Nikos K. Logothetis , Michel Besserve

The meaning of a sentence is a function of the relations that hold between its words. We instantiate this relational view of semantics in a series of neural models based on variants of relation networks (RNs) which represent a set of…

Computation and Language · Computer Science 2018-11-27 Lei Yu , Cyprien de Masson d'Autume , Chris Dyer , Phil Blunsom , Lingpeng Kong , Wang Ling

Petri nets have found widespread use among many application domains, not least due to their human-friendly graphical syntax for the composition of interacting distributed and asynchronous processes and services, based in partial-order…

Software Engineering · Computer Science 2021-06-08 Heinz W. Schmidt
‹ Prev 1 8 9 10 Next ›