scientific article; zbMATH DE number 1515284

zbMATH Open0965.68058MaRDI QIDQ4507814

Berndt Farwer

Publication date: 10 October 2000

Title of this publication is not available (Why is that?)

zbMATH Keywords

colored Petri netslinear logic encoding of Petri netsobject based Petri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Linear logic based calculi for object Petri nets

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Extending propositional dynamic logic for Petri nets 👍 👎
• A calculus for automatic verification of Petri nets based on resolution and dynamic logics 👍 👎
• A logical approach of Petri net languages 👍 👎
• Towards reasoning about Petri nets: a propositional dynamic logic based approach 👍 👎
• Linear logic based calculi for object Petri nets 👍 👎
• Propositional Dynamic Logic for Petri Nets with Iteration 👍 👎
• Propositional dynamic logic for Petri nets 👍 👎
• From Petri nets to linear logic 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4507814)