scientific article; zbMATH DE number 3934418

MaRDI QIDQ3706510zbMATH OpenFDO

Authors Kurt Lautenbach, Anastasia Pagnoni

Publication date 1985

zbMATH Keywords

liveness of markingsmarked nets

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3872693
• Duality of stable Petri nets and marked graphs
• scientific article; zbMATH DE number 3874631
• scientific article; zbMATH DE number 4033101
• Properties of super-dual nets

Cited in

(6)

• Duality of stable Petri nets and marked graphs
• Sufficient conditions for the marked graph realisability of labelled transition systems
• scientific article; zbMATH DE number 3872693 (Why is no real title available?)
• scientific article; zbMATH DE number 3874631 (Why is no real title available?)
• scientific article; zbMATH DE number 5079405 (Why is no real title available?)
• Properties of super-dual 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 Q3706510)