Software modeling and analysis using a hierarchical object-oriented Petri net
Information Sciences: an International Journal
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Compositional time Petri nets and reduction rules
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
A Novel Modeling Method for Cooperative Multi-robot Systems Using Fuzzy Timed Agent Based Petri Nets
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
ISNN '07 Proceedings of the 4th international symposium on Neural Networks: Part II--Advances in Neural Networks
TOPN Based Temporal Performance Evaluation Method of Neural Network Based Robot Controller
ISNN '08 Proceedings of the 5th international symposium on Neural Networks: Advances in Neural Networks, Part II
A Fuzzy Timed Object-Oriented Petri Net for Multi-Agent Systems
ISNN '08 Proceedings of the 5th international symposium on Neural Networks: Advances in Neural Networks, Part II
| Hi-index | 0.00 |
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