scientific article; zbMATH DE number 1534598

MaRDI QIDQ4517385zbMATH OpenFDO

Authors T. G. Churina, E. V. Okunishnikova

Publication date 21 November 2000

zbMATH Keywords

distributed systemEstelle specificationMerlin's time conceptPetri net

Mathematics Subject Classification ID

Network protocols (68M12) Specification and verification (program logics, model checking, etc.) (68Q60) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• scientific article; zbMATH DE number 1533828
• Coloured Petri Nets
• Strategies for modeling complex processes using colored Petri nets
• Composition of software artifacts modelled using colored Petri nets
• Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets

Cited in

(9)

• Application of Petri nets in verification of distributed systems represented in the Estelle language
• scientific article; zbMATH DE number 1696470 (Why is no real title available?)
• Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets
• scientific article; zbMATH DE number 1979819 (Why is no real title available?)
• scientific article; zbMATH DE number 2061976 (Why is no real title available?)
• scientific article; zbMATH DE number 1533828 (Why is no real title available?)
• scientific article; zbMATH DE number 810106 (Why is no real title available?)
• scientific article; zbMATH DE number 5198306 (Why is no real title available?)
• Verification of Estelle-specified communication protocols using high-level Petri 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 Q4517385)