Verification of Telecommunication Systems Specified by Communicating Finite Automata with the Help of Coloured Petri Nets

Uniform systems of communicating extended finite automata are considered in the paper. These automata systems are useful for initial specification of telecommunication systems such as ring protocols and telephone networks. The goal of our paper is to represent an ASV tool (Automata Systems Verifier)...

Descrizione completa

Dettagli Bibliografici

Autori principali:	D. M. Beloglazov, M. Yu. Mashukov, V. A. Nepomniaschy
Natura:	Artigo
Lingua:	Inglês
Pubblicazione:	Yaroslavl State University 2011-12-01
Serie:	Моделирование и анализ информационных систем
Soggetti:	telecommunication systems extended finite automata coloured petri nets ring protocols feature interactions telephone networks verification model checking method
Accesso online:	https://www.mais-journal.ru/jour/article/view/1105
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!