High-Level Petri Nets-Extensions, Analysis, and Applications Book Chapter

He, Xudong, Murata, Tadao. (2005). High-Level Petri Nets-Extensions, Analysis, and Applications . 459-475. 10.1016/B978-012170960-0/50035-9

keywords

  • Engineering
  • Engineering, Electrical & Electronic
  • MODEL
  • PREDICATE TRANSITION NETS
  • Science & Technology
  • TEMPORAL LOGIC
  • Technology

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 13

publisher

  • ELSEVIER SCIENCE BV

start page

  • 459

end page

  • 475