Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Network Models from Petri Nets with Catalysts   Petri networks and network models are two frameworks for the compositional
design of systems of interacting entities. Here we show how to combine them
using the concept of a "catalyst": an entity that is neither destroyed nor
created by any process it engages in. In a Petri net, a place is a catalyst if
its in-degree equals its out-degree for every transition. We show how a Petri
net with a chosen set of catalysts gives a network model. This network model
maps any list of catalysts from the chosen set to the category whose morphisms
are all the processes enabled by this list of catalysts. Applying the
Grothendieck construction, we obtain a category fibered over the category whose
objects are lists of catalysts. This category has as morphisms all processes
enabled by some list of catalysts. While this category has a symmetric monoidal
structure that describes doing processes in parallel, its fibers also have
premonoidal structures that describe doing one process and then another while
reusing the catalysts.

25
The categories of this paper are: patt-sol
33
The categories of this paper are: plasm-ph
30
The categories of this paper are: q-alg
31
The categories of this paper are: ao-sci
8
The categories of this paper are: hep-ex
13
The categories of this paper are: quant-ph
36
The categories of this paper are: cmp-lg
12
The categories of this paper are: nucl-th
14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys
22
The categories of this paper are: chao-dyn
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
37
The categories of this paper are: supr-con
4
The categories of this paper are: cond-mat
0
The categories of this paper are: hep-ph