DocumentCode
2346801
Title
Formal Modeling of Parallel System Based on TCPN
Author
Cheng, Bin ; Wang, Xingang ; Tong, Weiqin
Author_Institution
Sch. of Comput. Eng. & Sci., Shanghai Univ., Shanghai, China
fYear
2009
fDate
19-21 Oct. 2009
Firstpage
246
Lastpage
250
Abstract
Correctness and performance are the principal requirement of a parallel system. Due to the complicated and uncertainty, it is necessary to model it. A hierarchical TCPN model proposed in this paper can investigate on various levels of abstraction and analyze concerning performance, functional validity and correctness. It describes the parallel program and the resources respectively to bring less effect to modify the program structure because of running environment changes.
Keywords
Petri nets; formal verification; parallel programming; formal modeling; functional validity; parallel program; parallel system; timed coloured Petri net; Algorithm design and analysis; Communication system software; Concurrent computing; Educational institutions; Hardware; Mathematics; Parallel processing; Performance analysis; Physics; Uncertainty; Timed Coloured Petri Net; formal; parallel system;
fLanguage
English
Publisher
ieee
Conference_Titel
Network and Parallel Computing, 2009. NPC '09. Sixth IFIP International Conference on
Conference_Location
Gold Coast, QLD
Print_ISBN
978-1-4244-4990-3
Electronic_ISBN
978-0-7695-3837-2
Type
conf
DOI
10.1109/NPC.2009.36
Filename
5328516
Link To Document