Modeling and Analyzing Cyber Physical Systems Using High Level Petri Nets Conference

He, Xudong. (2018). Modeling and Analyzing Cyber Physical Systems Using High Level Petri Nets . 469-476. 10.1109/QRS-C.2018.00086

keywords

  • Computer Science
  • Computer Science, Software Engineering
  • METHODOLOGY
  • Science & Technology
  • Technology
  • cyber physical systems
  • high level Petri nets
  • hybrid systems
  • model checking
  • modeling
  • simulation

Location

  • Lisbon, PORTUGAL

Digital Object Identifier (DOI)

Conference

  • 18th IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)

publisher

  • IEEE

start page

  • 469

end page

  • 476