Formal methods for analysis of discrete systems using a specification language

DOI10.1007/s10559-009-9121-5zbMath1185.68448OpenAlexW2014717803MaRDI QIDQ1040418

S. L. Kryvyi, A. V. Chugayenko

Publication date: 24 November 2009

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-009-9121-5

zbMATH Keywords

verificationPetri netsMSC

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Exploring the properties of MSC documents by translating them into Petri nets

Cites Work

• Algorithms for solving systems of linear Diophantine equations in integer domains
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal methods for analysis of discrete systems using a specification language