scientific article; zbMATH DE number 1337887

MaRDI QIDQ4264233zbMATH OpenFDO

Authors Berndt Farwer

Publication date 16 September 1999

zbMATH Keywords

linear logic Petri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Linear logic based calculi for object Petri nets
• Comparing concepts of object Petri net formalisms
• scientific article; zbMATH DE number 125887
• scientific article; zbMATH DE number 2084347

Cited in

(11)

• Linear constraint systems as high-level nets
• Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
• Linear logic based calculi for object Petri nets
• Comparing concepts of object Petri net formalisms
• scientific article; zbMATH DE number 1515284 (Why is no real title available?)
• Dynamic modification of system structures using LLPNs
• scientific article; zbMATH DE number 2084347 (Why is no real title available?)
• Debits and Credits in Petri Nets and Linear Logic
• scientific article; zbMATH DE number 125887 (Why is no real title available?)
• Relating state-based and process-based concurrency through linear logic
• Relating state-based and process-based concurrency through linear logic (full-version)

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 Q4264233)