scientific article; zbMATH DE number 2155180

zbMATH Open1063.68074MaRDI QIDQ4665727

Milan Urbášek

Publication date: 11 April 2005

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

zbMATH Keywords

system models

Mathematics Subject Classification ID

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

Related Items (2)

Title not available (Why is that?) ⋮ Title not available (Why is that?)

Recommendations

• Petri net synthesis 👍 👎
• Petri nets 👍 👎
• Petri net modules in the transformation-based component framework 👍 👎
• Petri Net Transformations in the ≫Petri Net Baukasten≪ 👍 👎
• A Formal Framework for Petri Net Class Transformations 👍 👎
• Petri-Netze 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 Q4665727)