Linear logic based calculi for object Petri nets
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.
- scientific article; zbMATH DE number 1337887
- scientific article; zbMATH DE number 1495504
- scientific article; zbMATH DE number 125887
- From Petri nets to linear logic
- From Petri nets to linear logic
- scientific article; zbMATH DE number 1515284
- The completeness of linear logic for Petri net models
- Completeness results for linear logic on Petri nets
- Object calculi in linear logic
- A logical approach of Petri net languages
- Debits and Credits in Petri Nets and Linear Logic
- scientific article; zbMATH DE number 125887 (Why is no real title available?)
- scientific article; zbMATH DE number 1337887 (Why is no real title available?)
- scientific article; zbMATH DE number 1495504 (Why is no real title available?)
- scientific article; zbMATH DE number 1515284 (Why is no real title available?)
- scientific article; zbMATH DE number 2152690 (Why is no real title available?)
- Object calculi in linear logic
This page was built for publication: Linear logic based calculi for object Petri nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2715877)
