scientific article; zbMATH DE number 2084347

zbMATH Open1073.68692MaRDI QIDQ3043830FDOQ3043830

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

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

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

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)

Cited In (13)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Comparing concepts of object Petri net formalisms
• Title not available (Why is that?)
• Operational-objective modeling of dynamics of organizational systems development via Petri nets
• From coloured Petri nets to object Petri nets
• A Petri Net Based Modeling of Active Objects and Futures
• Title not available (Why is that?)
• The consistent use of names and polymorphism in the definition of object Petri nets
• Dynamic modification of system structures using LLPNs
• Title not available (Why is that?)
• Resource Bisimilarity in Petri Nets is Decidable
• Title not available (Why is that?)

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)