supported by the National Grand Fundamental Research 973 Program of China(No.2010CB328105);the National Natural Science Foundation of China(No.60972003,No.61070021)
Petri nets are widely used in describing workflow models of management systems, and also functioning in process management and resource organizing.The number of workflow patterns are increasing along with the demands ...
supported by the National Grand Fundamental Research Program of China (Nos. 2010CB328105, 2009CB320504);the Tsinghua University Initiative Scientific Research Program;the National Natural Science Foundation of China (Nos. 61070182,60973107, 60973144, 61173008, 61070021)
The integrated modular avionics (IMA) architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the r...