In: Lecture Notes in Computer Science : Rough Sets and Knowledge Technology, Volume 4062, 2006, pages 727-734. 2006. URL: http://dx.doi.org/10.1007/11795131106.
Abstract: To extend object Petri nets (OPN) for modeling and analyzing complex time critical systems, this paper proposes a high-level Petri net called timed hierarchical object-oriented Petri net (TOPN). In TOPN, a duration is attached to each object accounting for the minimal and maximal amount of time between which that the behavior of the object can be completed once fired. On the other hand, the problem of the state analysis of TOPN models is also addressed, which makes it possible to judge the model consistency at a given moment of time. In particular, a new way is investigated to represent and deal with the objects with temporal knowledge. Finally, the proposed TOPN is used to model and analyze a real decision making module in one cooperative multiple robot system to demonstrate its effectiveness.
Keywords: Petri nets; Object-oriented methods; temporal knowledge.