Iliano Cervesato  Home/Search
Context Related
| stanford.edu/~iliano/pa...FCMG_pn.ps.gz stanford.edu/~iliano/papers/...pn.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: stanford.edu/~i...orthcomingmain (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Context of citations to this paper: More
...programming. 1 Introduction The relationship between linear logic [4] and Petri Nets [8] has been a major object of investigation [2, 3, 6]. It was soon noticed that the monoidal structure of multisets can serve as an abstract link between Petri nets (where markings are...
Cited by: More
Petri Nets and Linear Logic: a case study for logic programming - Cervesato (1995) (Correct)
Active bibliography (related documents): More All
0.4: On The Synchronic Structure of Transition Systems - Bernardinello, De Michelis, .. (1994) (Correct)
0.3: Hierarchical Time-Extended Petri Nets (H-EPNs) for Integrated.. - Ramaswamy (1994) (Correct)
0.2: Keeping Workflow Models as Simple as Possible - Agostini, De Michelis, Petruni (1994) (Correct)
Similar documents based on text: More All
0.3: Relating Process Algebras and Multiset Rewriting.. - Bistarelli.. (2002) (Correct)
0.3: Relating Process Algebras and Multiset Rewriting.. - Bistarelli.. (2002) (Correct)
0.3: Lollipops taste of Vanilla too (extended abstract) - Cervesato (1994) (Correct)
BibTeX entry: (Update)
I. Cervesato: "Petri Nets as Multiset Rewriting Systems in a Linear Framework". Available as http://www.cs.cmu.edu/¸iliano/ON-GOING/deMich.ps.gz. http://citeseer.ist.psu.edu/cervesato94petri.html More
@misc{ cervesato-petri,
author = "I. Cervesato",
title = "Petri Nets as Multiset Rewriting Systems in a Linear Framework",
text = "I. Cervesato: Petri Nets as Multiset Rewriting Systems in a Linear Framework.
Available as http://www.cs.cmu.edu/¸iliano/ON-GOING/deMich.ps.gz.",
url = "citeseer.ist.psu.edu/cervesato94petri.html" }
Citations (may not include all citations):257 Logic Programming in a Fragment of Intuitionistic Linear Log.. - Hodas, Miller - 1994
242 Linear Logic (context) - Girard - 1987
223 Linear Objects: Logical Processes with Built-in Inheritance - Andreoli, Pareschi - 1990
168 Petri Nets, an Introduction (context) - Reisig - 1985
84 Basic Category Theory for Computer Scientists (context) - Pierce - 1991
81 A Multiple-Conclusion Meta-Logic - Miller - 1994
73 Lectures on Linear Logic (context) - Troelstra
46 Term Assignment for Intuitionistic Linear Logic (context) - Benton, Bierman et al. - 1992
35 Normal Process Representatives (context) - Gehlot, Gunter - 1990
35 From Petri Nets to Linear Logic (context) - Mart'i-Oliet, Meseguer - 1989
34 A Categorical Linear Framework for Petri Nets (context) - Brown, Gurr - 1990
33 The Noble Art of Linear Decorating (context) - Schellinx - 1994
32 Petri Nets as Models of Linear Logic - Engberg, Winskel - 1990
28 Natural Deduction for Intuitionistic Linear Logic - Troelstra - 1993
20 Elementary Net Systems (context) - Thiagarajan - 1986
19 A Survey of Basic Net Models and Modular Net Classes (context) - Bernardinello, de Cindio
13 The Synthesis Problem of Petri Nets (context) - Desel, Reisig
9 Behaviour of Elementary Net Systems (context) - Rozenberg - 1986
7 Synthesis of Net Systems (context) - Bernardinello
3 Synchronic Distance (context) - Goltz
1 Categories, Types and Structures: An Introduction to Categor.. (context) - Asperti, Longo - 1991
1 Constructive Logics, Part 2: Linear Logic and Proof Nets (context) - Gallier - 1991
1 Liveliness in Nets: Compositionality, Partial Order, and Pro.. (context) - Gomm, Kindler et al.
Documents on the same site (http://theory.stanford.edu/~iliano/forthcoming-main.html): More
Linear Higher-Order Pre-Unification - Iliano Cervesato, Frank Pfenning (1997) (Correct)
Logical Framework Design: Why not just classical logic? - Cervesato (Correct)
Modal Event Calculi with Preconditions - Cervesato, Franceschet, Montanari (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC