Learn More
improving the usability of high order Petri nets. This paper describes an environment for the construction and execution of requirement specifications for embedded systems. High order Petri nets are used as a notation for the specifications. The environment consists of a net brows-er, a net editor, an animated net simulator and a simulation engine. A(More)
  • 1