Rewriting Logic as a Unifying Framework for Petri Nets

@inproceedings{Stehr2001RewritingLA,
  title={Rewriting Logic as a Unifying Framework for Petri Nets},
  author={Mark-Oliver Stehr and Jos{\'e} Meseguer and Peter Csaba {\"O}lveczky},
  booktitle={Unifying Petri Nets},
  year={2001}
}
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by individual tokens, test arcs, and time. Based on the idea that “Petri nets are monoids” suggested by Meseguer and Montanari we define a rewriting semantics that maps place/transition nets into rewriting logic specifications. We furthermore generalize this result to a general form of algebraic net specifications… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 40 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 72 REFERENCES

N

  • M. Clavel, F. Durán, S. Eker, P. Lincoln
  • Mart́ı-Oliet, J. Meseguer, and J. Quesada…
  • 2000
Highly Influential
19 Excerpts

Similar Papers

Loading similar papers…