Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Feedback control logic synthesis for non safe Petri nets   This paper addresses the problem of forbidden states of non safe Petri Net
(PN) modelling discrete events systems. To prevent the forbidden states, it is
possible to use conditions or predicates associated with transitions.
Generally, there are many forbidden states, thus many complex conditions are
associated with the transitions. A new idea for computing predicates in non
safe Petri nets will be presented. Using this method, we can construct a
maximally permissive controller if it exists.

18
The categories of this paper are: econ
14
The categories of this paper are: math-ph
7
The categories of this paper are: hep-th
12
The categories of this paper are: nucl-th
37
The categories of this paper are: supr-con
13
The categories of this paper are: quant-ph
23
The categories of this paper are: solv-int
26
The categories of this paper are: bayes-an
15
The categories of this paper are: nucl-ex
5
The categories of this paper are: gr-qc
31
The categories of this paper are: ao-sci
16
The categories of this paper are: stat
24
The categories of this paper are: dg-ga
4
The categories of this paper are: cond-mat
28
The categories of this paper are: alg-geom
20
The categories of this paper are: acc-phys