Modeling of parallel program synchronization primitives

DOI10.18255/1818-1015-2025-2-150-171MaRDI QIDQ6947818zbMATH OpenFDO

Authors Oleg Sergeevich Kryukov, Anna Gennad'evna Voloshko, Alekseĭ Nikolaevich Ivutin

Publication date 5 August 2025

Published in Modelirovanie i Analiz Informatsionnykh Sistem (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

verificationPetri netsparallel programsynchronization primitives

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• Equivalence checking of Petri net models of programs using static and dynamic cut-points
• Handbook of model checking
• Handbook of parallel constraint reasoning
• Modeling multithreaded applications using Petri nets
• TCTL model checking of time Petri nets
• Verifying parallel algorithms and programs using coloured Petri nets

This page was built for publication: Modeling of parallel program synchronization primitives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6947818)