Application of Petri nets in verification of distributed systems represented in the Estelle language

MaRDI QIDQ2566429zbMATH OpenFDO

Authors A. V. Bystrov, S. A. Kurtov, S. P. Myl'nikov, V. A. Nepomnyashchij, E. V. Okunishnikova, P. A. Chubarev, T. G. Churina, Alexander G. Alexeev

Publication date 23 September 2005

Published in Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Recommendations

• Verification of Estelle-specified communication protocols using high-level Petri nets
• scientific article; zbMATH DE number 1534598
• scientific article; zbMATH DE number 810106
• Petri nets. Fundamental models, verification and applications.
• scientific article; zbMATH DE number 4055062

Cited in

(4)

• scientific article; zbMATH DE number 1173835 (Why is no real title available?)
• scientific article; zbMATH DE number 1515290 (Why is no real title available?)
• scientific article; zbMATH DE number 810106 (Why is no real title available?)
• Verification of Estelle-specified communication protocols using high-level Petri nets

This page was built for publication: Application of Petri nets in verification of distributed systems represented in the Estelle language

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