On Synchronicity and Concurrency in Petri Nets

@inproceedings{Juhs2003OnSA,
  title={On Synchronicity and Concurrency in Petri Nets},
  author={Gabriel Juh{\'a}s and Robert Lorenz and Tom{\'a}s Singliar},
  booktitle={ICATPN},
  year={2003}
}
In the paper we extend the algebraic description of Petri nets based on rewriting logic by introducing a partial synchronous operation in order to distinguish between synchronous and concurrent occurrences of transitions. In such an extension one first needs to generate steps of transitions using a partial operation of synchronous composition and then to use these steps to generate process terms using partial operations of concurrent and sequential composition. Further, we define which steps… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-3 OF 3 CITATIONS

Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity

VIEW 10 EXCERPTS
CITES BACKGROUND, RESULTS & METHODS
HIGHLY INFLUENCED

Synchronous + Concurrent + Sequential = Earlier than + Not later than

  • Sixth International Conference on Application of Concurrency to System Design (ACSD'06)
  • 2006
VIEW 10 EXCERPTS
CITES BACKGROUND, RESULTS & METHODS
HIGHLY INFLUENCED

Similar Papers