Questions tagged [petri-nets]
The petri-nets tag has no usage guidance.
7
questions
2
votes
0answers
40 views
Rackoff's coverability bounds in case the addition vectors of VAS are over {-1, 0, 1} and the target vector is over {0, 1}?
In "The covering and boundedness problems for vector addition systems", Rackoff considers a vector addition system (VAS) $(v,A)$ of dimension $k$ and size $n$ and derives an upper bound of $2^{2^{(\...
2
votes
1answer
114 views
Petri net termination
Termination is the following problem.
Input: a Petri Net with initial marking
Output: "yes" iff there exists an infinite firing sequence. The naive algorithm in the case of bounded nets for example ...
0
votes
1answer
126 views
Bouziane’s transformation of the Petri net reachability problem and incorrectness
This paper seems to point out that Bouziane’s solution is incorrect.
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.143.9009&rep=rep1&type=pdf
In the conclusion:
This false ...
7
votes
1answer
171 views
Resources (books, etc) to learn about concurrency theory
I want to know more about concurrency theory from a formal/mathematical point of view, I know there are a lot of computer science branches that relates to concurrency theory like process algebra, ...
3
votes
0answers
76 views
Is there any work that relates the liveness of a Petri Net to the complexity of determining coverability?
I'm working on a problem where the formalism appears to be an abstraction of a kind of Petri net, and it is possible to construct an equivalent Petri net from this formalism with the same behavior. ...
3
votes
1answer
211 views
Are there Petri net models with “checking” rather than “taking” transitions?
Is there a studied model of Petri nets where each transition only has one normal in-edge (which removes a marker from a place), but can also have "checking" edges, which only check whether there is a ...
7
votes
1answer
227 views
Is it possible to model maximization in a petri net without using inhibitor arcs?
Creating a petri-net that models the minimum function is quite simple:
...
