Keyword: rewriting logic

• Coja-Oghlan, A.; Stehr, M.-O.:
  Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy. 2002.

• Tahara, Y.; Honiden, S.:
  An analysis of simulation between Petri nets through rewriting logic. 1995.

• Meseguer, José:
  Rewriting as a Unified Model of Concurrency. 1990.

Back to the Petri Nets Bibliography