The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Modeling With Colored Petri Nets: Specification, Verification, and Performance Evaluation of Systems
|
Author(s): Dmitry A. Zaitsev (Vistula University, Poland)and Tatiana R. Shmeleva (A. S. Popov Odessa National Academy of Telecommunications, Ukraine)
Copyright: 2019
Pages: 27
Source title:
Automated Systems in the Aviation and Aerospace Industries
Source Author(s)/Editor(s): Tetiana Shmelova (National Aviation University, Ukraine), Yuliya Sikirda (Kirovograd Flight Academy of the National Aviation University, Ukraine), Nina Rizun (Gdansk University of Technology, Poland), Dmytro Kucherov (National Aviation University, Ukraine)and Konstantin Dergachov (National Aerospace University – Kharkiv Aviation Institute, Ukraine)
DOI: 10.4018/978-1-5225-7709-6.ch014
Purchase
|
Abstract
Aviation and aerospace systems are complex and concurrent and require special tools for their specification, verification, and performance evaluation. The tool in demand should be easily integrated into the standard loop of model-driven development. Colored Petri nets represent a combination of a Petri net graph and a functional programming language ML that makes it powerful and convenient tool for specification of real-life system and solving both tasks: correctness proof i.e. verification and performance evaluation. This chapter studies basic and advanced features of CPN Tools – a powerful modeling system which uses graphical language of colored Petri nets. Starting with a concept of colored hierarhical timed Petri net, it goes through declaration of color sets and functions to peculiarities of hierarchical design of complex models and specification of timed characteristics. The authors accomplish the chapter with a real-life case study of performance evaluation for switched Ethernet network.
Related Content
Suthagar S., Gopalakrishnan K., Kumaran T., Praveen Kumar.
© 2022.
25 pages.
|
Surekha Rathi Samundi D..
© 2022.
29 pages.
|
Kaliappan S., Raj Kamal M. D., Balaji V., Socrates S., Andrii Kondratiev.
© 2022.
18 pages.
|
Kumaran T., Sivarasan E. N..
© 2022.
14 pages.
|
Madhankumar G., Mothilal T., Kumar K. M., Muralidharan G., Mala D..
© 2022.
41 pages.
|
Kaliappan S., Raj Kamal M. D., Joseph Manuel D., Balaji V., Murugan P..
© 2022.
13 pages.
|
Suresh Chinnasamy, Paramaguru Venugopal, Ramesh Kasimani.
© 2022.
15 pages.
|
|
|