scientific article; zbMATH DE number 4113945

MaRDI QIDQ4729314zbMATH OpenFDO

Authors Zbigniew Antoni Banaszak, Mowafak Hassan Abdul-Hussin

Publication date 1988

zbMATH Keywords

Petri netreal-time programmingcontrol systems synthesisparallel processing flow control

Mathematics Subject Classification ID

Artificial intelligence (68T99) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 3976309
• scientific article; zbMATH DE number 98413
• scientific article; zbMATH DE number 512821
• An Optimal Vanishing Point Detection Method with Error Analysis
• Synthesis of a Class of Deadlock-Free Petri Nets

Cited in

(6)

• scientific article; zbMATH DE number 98413 (Why is no real title available?)
• Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
• scientific article; zbMATH DE number 3938576 (Why is no real title available?)
• scientific article; zbMATH DE number 978516 (Why is no real title available?)
• Simultaneous Petri Net Synthesis
• scientific article; zbMATH DE number 3949698 (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 Q4729314)