scientific article; zbMATH DE number 2084347

MaRDI QIDQ3043830zbMATH OpenFDO

Authors Berndt Farwer, Irina A. Lomazova

Publication date 6 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2244/22440255.htm

Mathematics Subject Classification ID

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

Recommendations

• Comparing concepts of object Petri net formalisms
• scientific article; zbMATH DE number 1515284
• Integrated Formal Methods
• scientific article; zbMATH DE number 1337887
• From coloured Petri nets to object Petri nets

Cited in

(13)

• Operational-objective modeling of dynamics of organizational systems development via Petri nets
• A Petri Net Based Modeling of Active Objects and Futures
• Comparing concepts of object Petri net formalisms
• The consistent use of names and polymorphism in the definition of object Petri nets
• Dynamic modification of system structures using LLPNs
• scientific article; zbMATH DE number 1686275 (Why is no real title available?)
• scientific article; zbMATH DE number 1799520 (Why is no real title available?)
• scientific article; zbMATH DE number 2177188 (Why is no real title available?)
• Resource Bisimilarity in Petri Nets is Decidable
• scientific article; zbMATH DE number 2104624 (Why is no real title available?)
• From coloured Petri nets to object Petri nets
• scientific article; zbMATH DE number 5051646 (Why is no real title available?)
• scientific article; zbMATH DE number 1567969 (Why is no real title available?)

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