Comparing concepts of object Petri net formalisms

MaRDI QIDQ2775862zbMATH OpenFDO

Authors Berndt Farwer

Publication date 28 February 2002

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

linear logic Petri netsobject Petri nets

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2084347
• Discovering object-centric Petri nets
• Applications and Theory of Petri Nets 2004
• A Petri-net approach to refining object behavioural specifications
• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 1337887
• From coloured Petri nets to object Petri nets
• scientific article; zbMATH DE number 1567969
• scientific article; zbMATH DE number 1686268
• scientific article; zbMATH DE number 1686283

Cited in

(6)

• scientific article; zbMATH DE number 2084347 (Why is no real title available?)
• scientific article; zbMATH DE number 1799518 (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?)
• The consistent use of names and polymorphism in the definition of object Petri nets
• scientific article; zbMATH DE number 2104624 (Why is no real title available?)

This page was built for publication: Comparing concepts of object Petri net formalisms

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