Skip to main content
Article thumbnail
Location of Repository

Petri Nets as Multiset Rewriting Systems in a Linear Framework

By Iliano Cervesato

Abstract

Keywords: Petri Nets, Multiset rewriting systems, Concurrency, Process Theory, Linear Logic. This research was completed during an extended visit of the author at the Department of Computer Science of Carnegie Mellon University, Pittsburgh, PA 15213. His e-mail address there is iliano@cs.cmu.edu. Contents 1 Introduction 1 2 Multisets and multiset rewriting systems 2 2.1 Multisets : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 2.2 Multiset rewriting systems : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 5 2.3 Beyond multiset rewriting systems : : : : : : : : : : : : : : : : : : : : : : : : : 7 3 Petri nets 13 3.1 Place/Transition nets with infinite place capacities : : : : : : : : : : : : : : : : 14 3.2 P/T ! systems with infinite markings : : : : : : : : : : : : : : : : : : : : : : : 18 3.3 Place/Transition nets : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 21 3.4 Other net models : : : : : : : : : : : : : : : : :..

Topics: Contents
Year: 1994
OAI identifier: oai:CiteSeerX.psu:10.1.1.41.8031
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://theory.stanford.edu/~il... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.