Linear logic based calculi for object Petri nets

zbMATH Open0979.68064MaRDI QIDQ2715877

Berndt Farwer

Publication date: 29 May 2001

zbMATH Keywords

Petri netslinear logiccoloured Petri netsplace/transition netsobject Petri nets

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

Title not available (Why is that?) ⋮ Object calculi in linear logic

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A logical approach of Petri net languages 👍 👎
• Completeness results for linear logic on Petri nets 👍 👎
• The completeness of linear logic for Petri net models 👍 👎
• From Petri nets to linear logic 👍 👎
• Object calculi in linear logic 👍 👎
• From petri nets to 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)