scientific article; zbMATH DE number 4172388

MaRDI QIDQ3197326zbMATH OpenFDO

Authors M. R. Zargham, Kenneth J. Danhof

Publication date 1989

zbMATH Keywords

parallel computationparallel processing problemsperformance analysisPetri netprogram verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15)

Recommendations

• scientific article; zbMATH DE number 4055062
• scientific article; zbMATH DE number 51631
• Petri net performance modeling of a modified mesh-connected parallel computer
• scientific article; zbMATH DE number 3922334
• scientific article; zbMATH DE number 3958740

Cited in

(13)

• Performance analysis using Petri nets
• Models and languages for description of parallel processes
• Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism
• Experience in data network modelling with the help of parallel process language
• scientific article; zbMATH DE number 6831517 (Why is no real title available?)
• scientific article; zbMATH DE number 3921991 (Why is no real title available?)
• scientific article; zbMATH DE number 4055062 (Why is no real title available?)
• A predicate-transition net model for parallel interpretation of logic programs
• scientific article; zbMATH DE number 51631 (Why is no real title available?)
• scientific article; zbMATH DE number 1760112 (Why is no real title available?)
• Verifying parallel algorithms and programs using coloured Petri nets
• Petri net‐based modeling and performance analysis of transaction scheduling in grid database
• Petri net performance modeling of a modified mesh-connected parallel computer

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