Application of Coloured Petri Nets for Veriﬁcation of Scenario Control Structures in UCM Notation | Vizovitin | Modeling and Analysis of Information Systems

Modeling and Analysis of Information Systems
Modelirovanie i analiz informacionnyh sistem

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)

eng | рус

Preview

Modeling and Analysis of Information Systems

Advanced search

Archives

Download this PDF file

For citations:

Vizovitin N.V., Nepomniaschy V.A., Stenenko A.A. Application of Coloured Petri Nets for Veriﬁcation of Scenario Control Structures in UCM Notation. Modeling and Analysis of Information Systems. 2016;23(6):688-702. (In Russ.) https://doi.org/10.18255/1818-1015-2016-6-688-702

Views PDF (Rus): 978

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 License.

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)

* not an advertisement

Indexing Databases

* not an advertisement

Popular articles

Editor-in-Chief

Article Tools

How to cite item

Finding References

Email this article (Login required)

Email the author (Login required)

About the Authors

N. V. Vizovitin
A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences
Russian Federation

junior researcher, 6 Acad. Lavrentjev pr., Novosibirsk 630090, Russia

V. A. Nepomniaschy
A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences
Russian Federation

PhD, 6 Acad. Lavrentjev pr., Novosibirsk 630090, Russia

A. A. Stenenko
A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences
Russian Federation

graduate student, 6 Acad. Lavrentjev pr., Novosibirsk 630090, Russia

Notifications