scientific article; zbMATH DE number 3972197

zbMATH Open0602.68046MaRDI QIDQ3738569FDOQ3738569

Authors: Klaus-Robert Müller Edit this on Wikidata

Publication date: 1985

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

Recommendations

• Construction of well-formed Petri nets from standard subnets
• scientific article; zbMATH DE number 4043256
• Some results on Petri net languages
• scientific article; zbMATH DE number 3922334
• scientific article; zbMATH DE number 512821

zbMATH Keywords

parallel processesoperating systemparallel programgenerating netslive Petri net

Mathematics Subject Classification ID

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

Cited In (8)

• Failures semantics based on interval semiwords is a congruence for refinement
• Asynchronous communication of Petri nets and the refinement of transitions
• A theory of implementation and refinement in timed Petri nets
• Construction of well-formed Petri nets from standard subnets
• Petri net reactive modules
• 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 Q3738569)