scientific article; zbMATH DE number 4018378

MaRDI QIDQ3030246zbMATH OpenFDO

Authors Wolfgang Reisig

Publication date 1987

zbMATH Keywords

consistency and completeness of designsstepwise refinement and embeddingsystematic system design

Mathematics Subject Classification ID

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

Cited in

(9)

• Sufficient conditions for the marked graph realisability of labelled transition systems
• An environment for rapid prototyping of interactive systems
• Spezifikation von Mechanismen zur Ausnahmebehandlung mit Petri-Netzen
• scientific article; zbMATH DE number 979001 (Why is no real title available?)
• scientific article; zbMATH DE number 1538868 (Why is no real title available?)
• A formal definition of hierarchical predicate transition nets
• scientific article; zbMATH DE number 3999276 (Why is no real title available?)
• scientific article; zbMATH DE number 2219413 (Why is no real title available?)
• On the abstraction of coloured Petri Nets

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