scientific article; zbMATH DE number 3972197

MaRDI QIDQ3738569zbMATH OpenFDO

Authors Klaus-Robert Müller

Publication date 1985

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)

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

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
• scientific article; zbMATH DE number 3932400 (Why is no real title available?)
• scientific article; zbMATH DE number 895062 (Why is no real title available?)
• scientific article; zbMATH DE number 1232238 (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 Q3738569)