The Method of Translation of the Diagram with One Type Directed Links into the Inhibitor Petri Net-Reference-Cited by-同舟云学术

The Method of Translation of the Diagram with One Type Directed Links into the Inhibitor Petri Net

Published:2019 Issue: Volume: Page:562-572
ISSN:0302-9743
Container-title:Computational Science and Its Applications – ICCSA 2019
language:
Short-container-title:

Author:

Voit Nikolay^ORCID,Kanev Dmitry,Kirillov Sergey,Ukhanova Maria

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-24308-1_45

Reference12 articles.

1. Markov, A.V., Romannikov, D.O.: Algorithm for automatic translation of the activity diagram into the Petri net. Rep. Acad. High. Educ. Russ. Fed. 1, 104–112 (2014)

2. Voevoda, A.A., Markov, A.V.: CAD methods for complex systems based on the combined use of UML-diagrams and Petri nets. Modern technologies. Syst. Anal. Model. 2(42), 110–115 (2014)

3. Markov, A.V.: Software development by sharing UML diagrams and Petri nets (overview). Scientific papers oft he Novosibirsk Stet Technical University 1(71), 96–131 (2013)

4. Chernenok, S.A., Nepomnyaschiy, V.A.: Analysis and verification of MSC-diagrams of distributed systems using expanded Petri nets. Model. Anal. Inf. Syst. 6(21), 94–106 (2014)

5. Ramadan, M., Elmongui, H.G., Hassan, R.: BPMN formalisation using coloured petri nets. In: Proceedings of the 2nd GSTF Annual International Conference on Software Engineering & Applications (SEA) (2011)

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Design of UML Diagrams for Intervention for Autism Children (IAC System);Communications in Computer and Information Science;2021