English
Related papers

Related papers: Two polygraphic presentations of Petri nets

200 papers

Conformal nets are a mathematical model for conformal field theory, and defects between conformal nets are a model for an interaction or phase transition between two conformal field theories. In the preceding paper of this series, we…

Category Theory · Mathematics 2019-05-17 Arthur Bartels , Christopher L. Douglas , André Henriques

In this paper, we present a number of examples of k-nets, which are special configurations of lines and points in the projective plane. Such a configuration can be regarded as the union of k completely reducible elements of a pencil of…

Algebraic Geometry · Mathematics 2007-05-23 Janis Stipins

In order to speed up the synthesis of Petri nets from labelled transition systems, a divide and conquer strategy consists in defining decompositions of labelled transition systems, such that each component is synthesisable iff so is the…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Raymond Devillers

The string-net approach by Levin and Wen and the local unitary transformation approach by Chen, Gu and Wen provided ways to systematically label non-chiral topological orders in 2D. In those approaches, different topologically ordered…

Strongly Correlated Electrons · Physics 2014-01-28 Fangzhou Liu , Zhenghan Wang , Yi-Zhuang You , Xiao-Gang Wen

Threshold graphs are recursive deterministic network models that have been proposed for describing certain economic and social interactions. One drawback of this graph family is that it has limited generative attachment rules. To mitigate…

Social and Information Networks · Computer Science 2018-05-24 Vida Ravanmehr , Gregory J. Puleo , Sadegh Bolouki , Olgica Milenkovic

In the paper notion of communication dualism id formalized and explained in Petri net interpretation. We consider communication dualism a basic property of communication in distributed systems. The formalization is done in the Integrated…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-10-24 Stanisław Chrobot , Wiktor B. Daszczuk

We perform a detailed investigation of Bipartite Field Theories (BFTs), a general class of 4d N=1 gauge theories which are defined by bipartite graphs. This class of theories is considerably expanded by identifying a new way of assigning…

High Energy Physics - Theory · Physics 2013-08-15 Sebastian Franco , Daniele Galloni , Rak-Kyeong Seong

Gated networks are networks that contain gating connections, in which the outputs of at least two neurons are multiplied. Initially, gated networks were used to learn relationships between two input sources, such as pixels from two images.…

Machine Learning · Computer Science 2015-12-11 Olivier Sigaud , Clément Masson , David Filliat , Freek Stulp

This article describes a natural piecewise Euclidean bi-simplicial cell structure for the space of $n$-element multisets in a fixed Euclidean rectangle. In particular, we highlight some connections with spaces of complex polynomials and…

Combinatorics · Mathematics 2026-04-17 Michael Dougherty , Jon McCammond

Graph representations of solid state materials that encode only interatomic distance lack geometrical resolution, resulting in degenerate representations that may map distinct structures to equivalent graphs. Here we propose a hypergraph…

Materials Science · Physics 2024-11-20 Alexander J. Heilman , Weiyi Gong , Qimin Yan

Early last century witnessed both the complete classification of 2-dimensional manifolds and a proof that classification of 4-dimensional manifolds is undecidable, setting up 3-dimensional manifolds as a central battleground of topology to…

Geometric Topology · Mathematics 2013-02-28 Carl D. Modes , Marcelo O. Magnasco

Shapes do not define a linear space. This paper explores the linear structure of deformations as a representation of shapes. This transforms shape optimization to a variant of optimal control. The numerical challenges of this point of view…

Optimization and Control · Mathematics 2022-03-15 Stephan Schmidt , Volker H. Schulz

Traditional neural networks assume vectorial inputs as the network is arranged as layers of single line of computing units called neurons. This special structure requires the non-vectorial inputs such as matrices to be converted into…

Machine Learning · Computer Science 2016-12-12 Junbin Gao , Yi Guo , Zhiyong Wang

After rapidly recalling basic notations relatively to semiflows and Petri nets, we define F, the set of semiflows over Z that we associate with a specific class of invariants. We then focus on F+, the set of semiflows with non-negative…

Formal Languages and Automata Theory · Computer Science 2025-11-13 Gerard Memmi

In phylogenetics, reconstructing rooted trees from distances between taxa is a common task. B\"ocker and Dress generalized this concept by introducing symbolic dated maps $\delta:X \times X \to \Upsilon$, where distances are replaced by…

Combinatorics · Mathematics 2024-06-28 Anna Lindeberg , Guillaume E. Scholz , Marc Hellmuth

For the first time, the concept of CHTW-systems as a multidimensional representation of Petri nets, based on the assumption of the spatial distribution of tokens (resources) in positions (branes) and, accordingly, the spatial representation…

Logic in Computer Science · Computer Science 2023-10-04 Alexander Yu. Chunikhin

Graph-based semantic representations are valuable in natural language processing, where it is often simple and effective to represent linguistic concepts as nodes, and relations as edges between them. Several attempts has been made to find…

Formal Languages and Automata Theory · Computer Science 2021-05-10 Johanna Björklund , Frank Drewes , Anna Jonsson

This paper presents a general and systematic discussion of various symbolic representations of iterated maps through subshifts. We give a unified model for all continuous maps on a metric space, by representing a map through a general…

Chaotic Dynamics · Physics 2007-05-23 Xin-Chu Fu , Weiping Lu , Peter Ashwin , Jinqiao Duan

A translation surface is a surface formed by identifying edges of a collection of polygons in the complex plane that are parallel and of equal length using only translations. We determined that the same circle packing can be realized on…

Geometric Topology · Mathematics 2024-01-22 Anton Levonian

We propose to study transformations on graphs, and more generally structures, by looking at how the cut-rank (as introduced by Oum) of subsets is affected when going from the input structure to the output structure. We consider…

Logic in Computer Science · Computer Science 2024-01-25 Mikołaj Bojańczyk , Pierre Ohlmann
‹ Prev 1 8 9 10 Next ›