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)
Examination of ten-year old children's everyday interactions with peers observed in natural settings of a school demonstrates that violence was present in many situations of help, sanctions, and rough-and-tumble play. Thorough analysis reveals diverse functions of violence in children's interactions: affirmation of reciprocity and justice, experience of(More)
  • 1