MLA
Zaitsev, Dmitry A., and Tatiana R. Shmeleva. "Modeling With Colored Petri Nets: Specification, Verification, and Performance Evaluation of Systems." Research Anthology on Reliability and Safety in Aviation Systems, Spacecraft, and Air Transport, edited by Information Resources Management Association, IGI Global Scientific Publishing, 2021, pp. 397-424. https://doi.org/10.4018/978-1-7998-5357-2.ch015
APA
Zaitsev, D. A. & Shmeleva, T. R. (2021). Modeling With Colored Petri Nets: Specification, Verification, and Performance Evaluation of Systems. In I. Management Association (Ed.), Research Anthology on Reliability and Safety in Aviation Systems, Spacecraft, and Air Transport (pp. 397-424). IGI Global Scientific Publishing. https://doi.org/10.4018/978-1-7998-5357-2.ch015
Chicago
Zaitsev, Dmitry A., and Tatiana R. Shmeleva. "Modeling With Colored Petri Nets: Specification, Verification, and Performance Evaluation of Systems." In Research Anthology on Reliability and Safety in Aviation Systems, Spacecraft, and Air Transport, edited by Information Resources Management Association, 397-424. Hershey, PA: IGI Global Scientific Publishing, 2021. https://doi.org/10.4018/978-1-7998-5357-2.ch015
Export Reference
