MOBnet: An extended petri net model for the concurrent object-oriented system-level synthesis of multiprocessor systems
Journal
IEICE Transactions on Information and Systems
Journal Volume
E80-D
Journal Issue
2
Pages
232-242
Date Issued
1997
Author(s)
Abstract
A formal system-level synthesis model for the concurrent object-oriented design of parallel computer systems, called Multi-token Object-oriented Bi-directional net (MOBnet), is proposed. The MOBnet model extends the standard Petri net by defining (1) multiple tokens to represent different kinds of synthesis control information, (2) object-oriented nodes (places) to denote the system parts under synthesis, and (3) bi-directional arcs to model the design completion check and synthesis rollback operations. In this paper, we first show that MOBnet can serve as a pre-fabrication design methodology analysis tool in ways such as class hierarchy construction, design specification comparison, reachability analysis, and concurrent process management and analysis. We then formally prove MOBnet to be a valid model for concurrent synthesis and give experimental application examples to verify. Finally, solution schemes for the design completion check and synthesis rollback problems are formally validated by analyzing the dynamic behavior of MOBnet, and experimentally illustrated through examples.
Subjects
Concurrent object-oriented system-level synthesis; Concurrent synthesis modeling; High-level petri nets, design completion check; Synthesis rollback
Other Subjects
Computer aided design; Computer simulation; Hierarchical systems; Object oriented programming; Petri nets; Concurrent object oriented system level synthesis; Design completion check; Multitoken object oriented bidirectional net (MOBnet); Synthesis rollback; Parallel processing systems
Type
journal article