A carregar...
A Method of Sample Models of Program Construction in Terms of Petri Nets
In the article a method of automated construction of Petri nets simulating the behaviour of imperative programs is considered from the formal point of view. Petri net samples with certain characteristics are necessary in programming new algorithms for program analysis; in particular, they can be use...
Na minha lista:
| Main Authors: | , , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Yaroslavl State University
2015-08-01
|
| Colecção: | Modelirovanie i Analiz Informacionnyh Sistem |
| Assuntos: | |
| Acesso em linha: | https://www.mais-journal.ru/jour/article/view/273 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|