Linear logic based calculi for object Petri nets (Q2715877)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Linear logic based calculi for object Petri nets |
scientific article; zbMATH DE number 1600639
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Linear logic based calculi for object Petri nets |
scientific article; zbMATH DE number 1600639 |
Statements
29 May 2001
0 references
linear logic
0 references
place/transition nets
0 references
Petri nets
0 references
coloured Petri nets
0 references
object Petri nets
0 references
0 references
0 references
0.90094316
0 references
0.89637655
0 references
0 references
0.89099663
0 references
Linear logic based calculi for object Petri nets (English)
0 references
After a short introduction the second chapter contains some basic notions and definitions (Petri nets and linear logic). The third chapter is devoted to a linear logic representation of place/transition nets and the next chapter to a linear logic representation of coloured Petri nets. Linear logic Petri nets are introduced in chapter 5. The next chapter deals with linear logic Petri nets and object Petri nets. Chapter 7 presents some results on object systems. Chapter 8 is devoted to interpretations of linear logic connectives by Petri nets and the next chapter to structural modifications of place/transition nets.
0 references
