English
Related papers

Related papers: Network Models from Petri Nets with Catalysts

200 papers

We put a monoidal model category structure on the category of chain complexes of quasi-coherent sheaves over a quasi-compact and semi-separated scheme X. The approach generalizes and simplifies methods used by the author to build monoidal…

Algebraic Topology · Mathematics 2007-05-23 James Gillespie

We introduce and solve a model which considers two coupled networks growing simultaneously. The dynamics of the networks is governed by the new arrival of network elements (nodes) making preferential attachments to pre-existing nodes in…

Statistical Mechanics · Physics 2007-05-23 Dafang Zheng , Guler Ergun

We describe a molecule-oriented modelling approach based on a collection of Petri net models organized in the form of modules into a prototype database accessible through a web interface. The JAK/STAT signalling pathway with the extensive…

Molecular Networks · Quantitative Biology 2012-06-06 Mary Ann Blätke , Anna Dittrich , Christian Rohr , Monika Heiner , Fred Schaper , Wolfgang Marwan

We study a general set of models of social network evolution and dynamics. The models consist of both a dynamics on the network and evolution of the network. Links are formed preferentially between 'similar' nodes, where the similarity is…

Physics and Society · Physics 2009-11-11 George C. M. A. Ehrhardt , Matteo Marsili , Fernando Vega-Redondo

A complex network can be characterized by patterns. Such frequently occurring significant patterns are called motifs and in a time dependent network, they are called temporal motifs. One of the temporal networks where temporal motifs are…

Social and Information Networks · Computer Science 2021-02-04 Rucha Bhalchandra Joshi , Annada Prasad Behera , Subhankar Mishra

Networks are widely used in the biological, physical, and social sciences as a concise mathematical representation of the topology of systems of interacting components. Understanding the structure of these networks is one of the outstanding…

Data Analysis, Statistics and Probability · Physics 2007-06-21 M. E. J. Newman , E. A. Leicht

Building smart grid for power system is a major challenge for safe, automated and energy efficient usage of electricity. The full implementation of the smart grid will evolve over time. However, before a new set of infrastructures are…

Other Computer Science · Computer Science 2011-08-23 Amrita Dey , Nabendu Chaki , Sugata Sanyal

This paper is a step towards a systematic theory of the transitivity (clustering) phenomenon in random networks. A static framework is used, with adjacency matrix playing the role of the dynamical variable. Hence, our model is a matrix…

Condensed Matter · Physics 2009-11-10 Z. Burda , J. Jurkiewicz , A. Krzywicki

Network modeling characterizes the underlying principles of structural properties and is of vital significance for simulating dynamical processes in real world. However, bridging structure and dynamics is always challenging due to the…

Physics and Society · Physics 2022-12-27 Zhihao Han , Longzhao Liu , Xin Wang , Yajing Hao , Hongwei Zheng , Shaoting Tang , Zhiming Zheng

Petri Nets (PN) are a central, theoretically sound model for concurrent or distributed systems but, at least in their classical definition, not expressive enough to represent dynamic reconfiguration capabilities. On the other side,…

Logic in Computer Science · Computer Science 2021-11-17 Lorenzo Capra

We use the framework of "props" to study electrical circuits, signal-flow diagrams, and bond graphs. A prop is a strict symmetric monoidal category where the objects are natural numbers, with the tensor product of objects given by addition.…

Category Theory · Mathematics 2018-05-23 Brandon Coya

We review some of the endeavors in trying to connect Petri nets with free symmetric monoidal categories. We give a list of requirement such connections should respect if they are meant to be useful for practical/implementation purposes. We…

Category Theory · Mathematics 2019-05-10 Fabrizio Genovese , Alex Gryzlov , Jelle Herold , Marco Perone , Erik Post , André Videla

Neural networks have become an increasingly popular tool for solving many real-world problems. They are a general framework for differentiable optimization which includes many other machine learning approaches as special cases. In this…

Machine Learning · Computer Science 2019-07-22 Bruno Gavranović

The problem of integrating multiple overlapping models and data is pervasive in engineering, though often implicit. We consider this issue of model management in the context of the electrical power grid as it transitions towards a modern…

Systems and Control · Electrical Eng. & Systems 2020-09-16 John S. Nolan , Blake S. Pollard , Spencer Breiner , Dhananjay Anand , Eswaran Subrahmanian

Networks are useful for describing systems of interacting objects, where the nodes represent the objects and the edges represent the interactions between them. The applications include chemical and metabolic systems, food webs as well as…

Computational Physics · Physics 2009-10-20 Baruch Barzel , Ofer Biham

The organization of interactions in complex systems can be described by networks connecting different units. These graphs are useful representations of the local and global complexity of the underlying systems. The origin of their…

Physics and Society · Physics 2015-09-30 Luís F Seoane , Ricard Solé

A process discovery algorithm aims to construct a model from data generated by historical system executions such that the model describes the system well. Consequently, one desired property of a process discovery algorithm is…

Formal Languages and Automata Theory · Computer Science 2023-03-20 Daniël Barenholz , Marco Montali , Artem Polyvyanyy , Hajo A. Reijers , Andrey Rivkin , Jan Martijn E. M. van der Werf

Synthesis automatically generates a process model from a behavioural specification. When the target model is a Petri net, we address synthesis through region theory. Researchers have studied region-based synthesis extensively for…

Formal Languages and Automata Theory · Computer Science 2026-02-02 Robin Bergenthum , Jakub Kovář

Networks are convenient mathematical models to represent the structure of complex systems, from cells to societies. In the past decade, multilayer network science -- the branch of the field dealing with units interacting in multiple…

This paper advances a framework for modeling the component interactions between cognitive and social aspects of scientific creativity and technological innovation. Specifically, it aims to characterize Innovation Networks; those networks…

Artificial Intelligence · Computer Science 2013-08-13 Petra Ahrweiler , Mark T. Keane