6 votes

Resources (books, etc) to learn about concurrency theory

There are not that many books on this subject, as it continues to evolve at a rapid pace. Classic books on process calculi (that don't focus on π-calculus-like mobility) are: C. A. R. Hoare, ...
Martin Berger's user avatar
6 votes

Petri net termination

Testing whether a Petri net $\mathcal{N} = (P, T, F)$ does not terminate from a marking $M_0$ can be decided by testing whether there exist a firing sequence $\sigma$ and markings $M, M'$ such that $...
Michael Blondin's user avatar
1 vote

Bouziane’s transformation of the Petri net reachability problem and incorrectness

Found another article that helped me understand: COMPEXITY OF SOME PROBLEMS IN PETRI NETS* http://www.sciencedirect.com/science/article/pii/0304397577900147 This paper does a good job of ...
stackdump's user avatar
  • 111

Only top scored, non community-wiki answers of a minimum length are eligible