Using Petri Nets for Specifying Active Objects andGenerative

  • CommunicationTom Holvoet
  • Published 1998
This paper presents an introduction to an approach for modelling, implementing and reasoning upon systems, based on principles of concurrent object-orientation, generative communication and Petri nets. The approach is illustrated through a case study, proposed by C. Sibertin-Blanc. The case is a variant of the well known dining philosophers problem, called… CONTINUE READING