344 功能建模和信息流

1、3.4.4 功能建模和信息流,,,,基于計(jì)算機(jī)的系統(tǒng),,,輸入信息,信息流模型,,,輸出信息,,外部實(shí)體,,,外部實(shí)體,,,外部實(shí)體,輸入信息,,,外部實(shí)體,,,外部實(shí)體,,輸出信息,輸出信息,一. 數(shù)據(jù)流圖,(DFD，Data Flow Diagram) 描述邏輯模型的圖形工具， 表示數(shù)據(jù)在系統(tǒng)內(nèi)的變化。,人事工資管理系統(tǒng)的頂層DFD(概圖)范例,人事部門,人事工資管理系統(tǒng),會(huì)計(jì)部門,,,職工出缺勤報(bào)表,職工出缺勤

2、信息,,職工工資信息,,職工工資報(bào)表,職工,,,職工基本信息,職工工資單,,職工基本信息管理子系統(tǒng),1.0,,2.0,,,人事工資管理系統(tǒng)0層DFD范例,職工出缺勤信息,,,,職工工資管理子系統(tǒng),,,3.0,職工出缺勤管理子系統(tǒng),,職工基本信息,,,職工工資信息,,,人事部門,會(huì)計(jì)部門,職工,,,,,,,,,,職工出缺勤報(bào)表,職工出缺勤信息,職工工資信息,職工工資報(bào)表,職工基本信息,職工工資單,,建立職工出缺勤

3、信息,3.1,人事工資管理系統(tǒng)1層DFD：加工3.0的分解圖,職工出缺勤信息,,,,,3.2,制作職工出缺勤信息統(tǒng)計(jì)表,,職工基本信息,,,,,,,,,職工出缺勤報(bào)表,職工出缺勤信息,外部實(shí)體,數(shù)據(jù)流,過(guò)程(加工),數(shù)據(jù)存儲(chǔ),,條目查詢請(qǐng)求,查詢可用條目,,1,,,,,客戶,,,,,,,目錄,,,,,產(chǎn)品條目,,,,,庫(kù)存條目,,,,可用條目查詢結(jié)果,,目的地,,響應(yīng),,來(lái)源,,觸發(fā)器,,動(dòng)作,DFD的主要元素,分層DFD實(shí)例,

4、(1)對(duì)考生送來(lái)的報(bào)名單進(jìn)行檢查;(2)對(duì)合格的報(bào)名單編好準(zhǔn)考證號(hào)后將準(zhǔn)考證送給考生，并將匯總后的考生名單送給閱卷站;(3)對(duì)閱卷站送來(lái)的成績(jī)單進(jìn)行檢查，并根據(jù)考試中心制定的合格標(biāo)準(zhǔn)審定合格者;(4)制作考生通知單(含成績(jī)及合格/不合格標(biāo)志)送給考生;(5)按地區(qū)進(jìn)行成績(jī)分類統(tǒng)計(jì)和試題難度分析，產(chǎn)生統(tǒng)計(jì)分析表。,一個(gè)簡(jiǎn)單的考務(wù)處理系統(tǒng)功能描述：,頂層數(shù)據(jù)流圖,,考生,,,考務(wù)處理系統(tǒng),考試中心,,閱卷站,,,,,,不合

5、格報(bào)名單,報(bào)名單,準(zhǔn)考證,考生通知單,,,成績(jī)清單,合格標(biāo)準(zhǔn),,錯(cuò)誤成績(jī)清單,考生名單,,統(tǒng)計(jì)分析表,,登記報(bào)名單,,,報(bào)名單,準(zhǔn)考證,,1,,統(tǒng)計(jì)成績(jī),2,,,不合格報(bào)名單,,考生通知單,,,,成,統(tǒng)計(jì)分析表,0層數(shù)據(jù)流圖,考生名冊(cè),,,,績(jī),清,單,合格標(biāo)準(zhǔn),考生名單,,成,績(jī),清,單,錯(cuò),誤,一層數(shù)據(jù)流圖 (a),,檢查報(bào)名單,,,報(bào)名單,準(zhǔn)考證,,1.1,,編準(zhǔn)考證號(hào),1.2,,,不合格報(bào)名單,考生名冊(cè)

6、,,,考生名單,,合格報(bào)名單,,,登記考生,1.3,一層數(shù)據(jù)流圖 (b),,檢查成績(jī)清單,,2.1,,審定合格者,2.2,,,考生名冊(cè),,,正確成績(jī)清單,,制作通知單,2.3,,分析統(tǒng)計(jì)成績(jī),2.4,,分析試題難度,2.5,試題得分清單,,,,,,考生通知單,難度分析表,合格標(biāo)準(zhǔn),,,分類統(tǒng)計(jì)表,,,,成績(jī)清單,,錯(cuò)誤成績(jī)清單,,經(jīng)審定的成績(jī)清單,DFD可以用來(lái)表示一個(gè)系統(tǒng)或軟件在任何層次上的抽象。 較大型軟

7、件系統(tǒng)DFD分成多層(子圖、父圖概念),可以表示數(shù)據(jù)流和功能的進(jìn)一步的細(xì)節(jié)。,,,S,,,,,2,,,,1,,3,,,,,,,2.2,,,,2.1,,2.3,,,,,,,,,,3.1,,3.2,,,,,頂層（不編號(hào)）,,,0層,1層,數(shù)據(jù)流和控制流舉例 （使用Ward和mellor符號(hào)）,,監(jiān)控固件和操作接口,,,每個(gè)固件狀態(tài),動(dòng)作警告,,,機(jī)器人初始化控制,,,操作命令,部件狀態(tài)緩沖器,,位置命令,,開始/停止,,

8、,,處理機(jī)器人命令,,機(jī)器人命令文件,,,,操作設(shè)置,處理活動(dòng),記錄機(jī)器人動(dòng)作,位串,數(shù)據(jù)和控制模型的關(guān)系,,DFD,加工規(guī)約,加工模型,,,,DFD,控制規(guī)約,控制模型,,,,數(shù)據(jù)輸出,數(shù)據(jù)條件,,數(shù)據(jù)輸入,,控制輸入,,控制輸出,,,,,加工激活者,,,,,SafeHomede控制面板,,與用戶交互,SAFEHOME,ARMED POWER,,,,,,,01,,,,1,,2,,3,,4,,5,,6,,7,,8,,9,,*

9、,,0,,#,OFF ARAY STAY,MAX TEST BYPASS,INSTANT CODE CHIME,READY,panic,,,,,,,,,alarmcheckfire,awaystayinstantbypassnot ready,SafeHomede的第0層ＤＦＤ,,,,SafeHomede軟件系統(tǒng),,,用戶命令和數(shù)據(jù),,,顯示信息,,,控制面板,,,傳感器,傳感

10、器狀態(tài),,,警鈴,,電話線,,警告類型,電話號(hào)碼撥音,控制面板顯示,SafeHomede的第1層ＤＦＤ,,控制面板,,與用戶交互,,控制面板顯示,,,密碼,,,電話號(hào)碼撥音,傳感器狀態(tài),,顯示信息,配置請(qǐng)求,,用戶命令和數(shù)據(jù),,配置系統(tǒng),,警鈴,,電話線,,傳感器,配置信息,,,,顯示信息和狀態(tài),,監(jiān)控傳感器,,,,激活／不激活系統(tǒng),,傳感器信息,,密碼處理,,,,警告類型,,檢驗(yàn)id信息,開始停止,狀態(tài)

11、信息,,監(jiān)控傳感器的第2層ＤＦＤ,,,電話號(hào)碼撥音,傳感器狀態(tài),,,配置數(shù)據(jù),,顯示格式,配置信息,,,,產(chǎn)生警告信息,,撥號(hào),,,評(píng)估設(shè)置,,傳感器信息,,讀傳感器,,,警告類型,傳感器id類型,,傳感器id類型定位,SafeHomede的第一層ＣＦＤ,,控制面板,,與用戶交互,,控制面板顯示,,,,,顯示活動(dòng)狀態(tài)（完成、在處理中）,,,配置系統(tǒng),,警鈴,,電話線,,傳感器,配置信息,,,,顯示信息和狀態(tài),,監(jiān)控

12、傳感器,,,,激活／不激活系統(tǒng),,警告信號(hào),,密碼處理,傳感器事件,,,,,,,,,警告狀態(tài),,,,超時(shí),,,,,,閃爍標(biāo)志,開／關(guān)切換,二.數(shù)據(jù)字典(DD，DataDictionary),DD是對(duì)所有與系統(tǒng)相關(guān)的數(shù)據(jù)元素的一個(gè)有組織的列表,以及精確的、嚴(yán)格的定義，使得用戶和系統(tǒng)分析員對(duì)于輸入、輸出、存儲(chǔ)成分和中間計(jì)算有共同的理解,數(shù)據(jù)字典的作用,DFD中的數(shù)據(jù)流、數(shù)據(jù)存儲(chǔ)表示某個(gè)有組織的數(shù)據(jù)集合，它們要由SA的其他描述工具

13、-需求字典(數(shù)據(jù)字典)來(lái)描述，包括： 詞條描述 數(shù)據(jù)結(jié)構(gòu)描述 加工邏輯說(shuō)明,DD中數(shù)據(jù)結(jié)構(gòu)的描述方式 定義式 Warnier圖 巴科斯范式（BNF）,F1:航班信息文件＝{航空公司名稱＋航班號(hào)＋起點(diǎn)＋終點(diǎn)＋日期 ＋起飛時(shí)間＋降落時(shí)間}航空公司名稱＝2{字母}4 航班號(hào)＝3{十進(jìn)制數(shù)字}3 字母＝“A”…“Z”十進(jìn)制數(shù)字＝“0”…“9”起點(diǎn)＝終點(diǎn)＝1{漢字}10 起飛時(shí)間＝降落時(shí)間＝時(shí)＋分 時(shí)＝“0

14、0”…“23”　 分＝“00”…“59” 日期＝年＋月＋日 年＝[2000｜2001｜2002｜2004] 月＝“01”…“12”　 日＝“01”…“31”,重復(fù)項(xiàng)：起點(diǎn)＝終點(diǎn)＝1{漢字}10 航空公司名稱＝2{字母}4 航班號(hào)＝3{十進(jìn)制數(shù)字}3 組合項(xiàng)：日期＝年＋月＋日 起飛時(shí)間＝降落時(shí)間＝時(shí)＋分選擇項(xiàng)：年＝[2000｜2001｜2002｜2004]

15、原數(shù)據(jù)項(xiàng)：字母＝“A”…“Z” 十進(jìn)制數(shù)字＝“0”…“9” 時(shí)＝“00”…“23”　 分＝“00”…“59” 月＝“01”…“12”　 日＝“01”…“31”,,定義式中使用的符,操作符 含義描述 ＝ 定義為 ＋ 與(順序結(jié)構(gòu))

16、 ｛...｝ 重復(fù)(循環(huán)結(jié)構(gòu)) 〔..｜..〕 或(選擇結(jié)構(gòu)) 〔.. , .. 〕 ( ... ) 任選 m..n 界域 ＊...,＊ 注釋符,限制重復(fù)次數(shù)舉例:,｛,3,5 或,5,3,｛ ｝表示允許重復(fù)3-5次,｛ ｝,3,3 或,3,3,｛ ｝表示恰好重復(fù) 3 次,｛ ｝,｛ ｝,｛ ｝,1,表示至少出現(xiàn) 1

17、次,表示允許重復(fù)0至任意次,數(shù)據(jù)流條目,給出DFD中某個(gè)數(shù)據(jù)流的定義，通常包括： 數(shù)據(jù)流標(biāo)識(shí) 數(shù)據(jù)流來(lái)源 數(shù)據(jù)流去向 數(shù)據(jù)流的數(shù)據(jù)組成 流動(dòng)屬性描述：頻率、數(shù)據(jù)量,購(gòu)書單,發(fā)票,領(lǐng)書單,審查并開發(fā)票,開領(lǐng)書單,,,,,無(wú)效書單,,學(xué)生,1,2,,,,,各班學(xué)生用 書 表,舉例：,,,,,,,,學(xué)生,,,,,,,,,教材存量表,數(shù)據(jù)流條目說(shuō)明舉例,數(shù)據(jù)流名:發(fā)票別名: 無(wú)簡(jiǎn)述: 學(xué)生購(gòu)書時(shí)填寫的項(xiàng)目來(lái)源: 學(xué)生

18、去向: 加工1“審查并開發(fā)票”組成: (學(xué)號(hào))＋姓名＋｛書號(hào)＋數(shù)量｝數(shù)據(jù)流量:1000次/周 高峰值：開學(xué)期間1000次/天,數(shù)據(jù)存儲(chǔ)條目(數(shù)據(jù)文件詞條),對(duì)某個(gè)文件的定義，包括： 文件名 描述 數(shù)據(jù)結(jié)構(gòu) 數(shù)據(jù)存儲(chǔ)方式 關(guān)鍵碼 存取頻率和數(shù)據(jù)量 安全性要求,數(shù)據(jù)存儲(chǔ)條目說(shuō)明舉例,文件名:庫(kù)存記錄別名: 無(wú)簡(jiǎn)述:存放庫(kù)存所有可供貨物的信息組成：貨物名稱＋編號(hào)＋生產(chǎn)廠家 ＋單價(jià)＋庫(kù)存量組織方式

19、：索引文件，以貨物編號(hào)為 關(guān)鍵字查詢要求:要求能夠立即查詢,數(shù)據(jù)項(xiàng)條目(數(shù)據(jù)元素詞條),不可再分解的數(shù)據(jù)單位，包括： 名稱 描述 數(shù)據(jù)類型 長(zhǎng)度(精度) 取值范圍及缺省值 計(jì)量單位 相關(guān)數(shù)據(jù)元素及數(shù)據(jù)結(jié)構(gòu),數(shù)據(jù)項(xiàng)條目說(shuō)明舉例,數(shù)據(jù)項(xiàng)名:貨物編號(hào)別名:G-No,G-num簡(jiǎn)述:本公司的所有貨物的編號(hào)類型:字符串長(zhǎng)度：10取值范圍及含義: 第1位：[J｜G] (進(jìn)口/國(guó)產(chǎn))

20、 第2～4位：LB01.. LB29 (類別) 第5～7位：“A00”..“A99” (規(guī)格) 第8～10位：“001”..“999”(品名編號(hào)),F1:航班信息文件＝{航空公司名稱＋航班號(hào)＋起點(diǎn)＋終點(diǎn)＋日期 ＋起飛時(shí)間＋降落時(shí)間}航空公司名稱＝2{字母}4 航班號(hào)＝3{十進(jìn)制數(shù)字}3 字母＝“A”…“Z”十進(jìn)制數(shù)字＝“0”…“9”起點(diǎn)＝終點(diǎn)＝1{漢字}10 起飛時(shí)間＝降落時(shí)間＝時(shí)＋分 時(shí)＝“00”…“

21、23”　 分＝“00”…“59” 日期＝年＋月＋日 年＝“00”…“99”　 月＝“01”…“12”　 日＝“01”…“31”,存折＝戶名＋所號(hào)＋帳號(hào)＋開戶日期＋性質(zhì) ＋（印密）＋1{存取行}50戶名＝2{字母}24所號(hào)＝“001”..“999” (注：儲(chǔ)蓄所編碼，規(guī)定三位數(shù)字)帳號(hào)＝“00000001”..“99999999” (注：帳號(hào)規(guī)定由八位數(shù)字組成)開戶日

22、期＝年＋月＋日性質(zhì)＝“1”..“6”(注：“1”表示普通戶，“5”表示工資戶等)印密＝“0”(注：印密在存折上不顯示)存取行＝日期＋（摘要）＋指出＋存入＋余額 ＋操作＋復(fù)核,年＝[2001｜2002｜2003｜2004]月＝“01”..“12”　日＝“01”..“31”摘要＝1{字母}4(注：表明該存取是存？是??？ 還是換？)支出＝金額(注:金額規(guī)定不超過(guò)9

23、999999.99元)存入＝金額余額＝金額　金額＝“0000000.01”..“9999999.99”操作＝“00001”..“99999”復(fù)核＝“00001”..“99999”字母＝[“a”..“z”｜“A”..“Z”],DD中數(shù)據(jù)結(jié)構(gòu)的描述方式 —巴科斯范式（BNF）舉例: ??=[] ??= ??=關(guān)系記錄｜圖形｜數(shù)據(jù)項(xiàng)｜圖象｜ 聲音｜文本｜視頻 ??=[{，}…]

24、??= ??= ??=｜｜ ｜  ??=｜,購(gòu)書單,缺書單,銷售,采購(gòu),,,1,2,,,第二層DFD(０層) 教材購(gòu)銷系統(tǒng),,,,,,,,,,教材存量表,,學(xué)生,,,F1,,,,,缺書登記表,F2,,,,書庫(kù)保管員,,,進(jìn)書通知,,教材入庫(kù)信息,,領(lǐng)書單,,,DF01-10,DF20-02,銷售,采購(gòu),,,1.0,2.0,,,第二層DFD(０層) 教材購(gòu)銷系統(tǒng),,,,,

25、,,,,,教材存量表,,學(xué)生,,,F1,,,,,缺書登記表,F2,,,,書庫(kù)保管員,,,DF02-20,,DF20-10,,DF10-01,,,1,2,XSMD,CGMD,,,DD數(shù)據(jù)流條目說(shuō)明舉例,〔圖號(hào)〕DF01-10 /*有效購(gòu)書單*/DF01-10 = 學(xué)號(hào)＋姓名 ＋{書號(hào)＋數(shù)量},加工條目(加工邏輯說(shuō)明),加工類條目即數(shù)據(jù)處理描述，也稱為小說(shuō)明。描述實(shí)現(xiàn)加工的策略而不是實(shí)現(xiàn)加工的細(xì)節(jié)。 小

26、說(shuō)明可認(rèn)為是DD的組成部分。 也可在DD中只定義說(shuō)明每個(gè)加工的組成(每個(gè)處理分解成多少小處理),而在 小說(shuō)明中詳細(xì)描述它的處理邏輯.,加工條目(加工邏輯說(shuō)明),加工邏輯名:登記報(bào)名單 編號(hào)：1.0 激活條件：收到報(bào)名單 加工邏輯：{1.1 檢查報(bào)名單 + 1.2 編準(zhǔn)考證號(hào) + 1.3 登記考生} 執(zhí)行頻率：2000次/日,ＤＤ定義方法,找出所有數(shù)據(jù)元素 (數(shù)據(jù)流，

27、數(shù)據(jù)存儲(chǔ)，數(shù)據(jù)項(xiàng)，加工)對(duì)數(shù)據(jù)項(xiàng)分類作結(jié)構(gòu)定義排序DD的分類DD中的命名(遵守系統(tǒng)開發(fā)規(guī)范規(guī)定),DD的實(shí)現(xiàn),(1)人工方法(2)自動(dòng)方法(利用字典管理程序) DD應(yīng)具特點(diǎn)(1)通過(guò)名字可方便查閱數(shù)據(jù)定義(2)無(wú)冗余 (3)易更新修改,3.小說(shuō)明(加工邏輯說(shuō)明的另一種形式),描述的內(nèi)容：(1) 處理邏輯 描述基本加工如何把輸入數(shù)據(jù)流變化為輸出數(shù)據(jù)流的加工原則，不涉及具體處理方法。(2) 執(zhí)行條件(3) 輸入

28、(4) 輸出(3) 優(yōu)先級(jí)(4) 執(zhí)行頻率(5) 出錯(cuò)處理對(duì)策,小說(shuō)明舉例,加工名: 分類采購(gòu)(CG111MD)編號(hào): 1.1.1加工激活條件: 受到圖書采購(gòu)員分類 采購(gòu)操作命令加工邏輯: (1) 1.1.1.1 預(yù)定圖書 (2) 1.1.1.2 外采圖書 (3) 1.1.1.3 贈(zèng)送圖書 執(zhí)行頻率: 隨時(shí),小說(shuō)明舉例

29、,處理名:月票額統(tǒng)計(jì)(MHCW713MD)編號(hào): 7.1.3激活條件:收到每日售票額信息處理邏輯:1 統(tǒng)計(jì)月保險(xiǎn)金總合 月保險(xiǎn)金信息=每日日保險(xiǎn) 金信息之和 2 統(tǒng)計(jì)月合計(jì) 月合計(jì)信息=每日日合計(jì)信息之和執(zhí)行頻率: 1次/月,描述加工邏輯的工具：,結(jié)構(gòu)化語(yǔ)言 判定表 判定樹,結(jié)構(gòu)化語(yǔ)言,介于自然語(yǔ)言和形式語(yǔ)言之間的語(yǔ)言結(jié)構(gòu)化語(yǔ)言的特點(diǎn)：無(wú)確定語(yǔ)

30、法可分層、嵌套,處理名:核實(shí)訂票處理(MHGP3200MD)編號(hào): 3.2激活條件:收到取訂票信息處理邏輯:1讀訂票旅客信息文件 2搜索此文件中是否有與輸入信息 中姓名及身份證號(hào)相符的項(xiàng) IF 有 THEN 判斷余項(xiàng)是否與文件中信 息相符 IF 是

31、 THEN 輸出已訂票信息 ELSE 輸出未訂票信息 ELSE 輸出未訂票信息執(zhí)行頻率: 實(shí)時(shí),判定表(決策表),描述多條件、多目標(biāo)動(dòng)作的形式化工具,判定表舉例 (計(jì)算機(jī)票折扣率),,,旅游時(shí)間,訂 票 量,折 扣 量,,,,,7－9，12月,,,≤20,≤20,> 20,> 20,15%,5%,20%,30%,條件類別,,,,四種條件組合,,操作,,,,條件組

32、合下操作的執(zhí)行,,1－6,10,11月,處理名:計(jì)算折扣率(MHGP534MD)編號(hào): 5.3.4激活條件:收到預(yù)訂票信息處理邏輯:計(jì)算折扣率執(zhí)行頻率: 實(shí)時(shí),,,旅游時(shí)間,訂 票 量,折 扣 量,,,,,7－9，12月,1－6,10,11月,,,≤20,≤20,> 20,> 20,15%,5%,20%,30%,,,判定樹(Decision 決策樹),條件1 條件2 結(jié)果計(jì) 7－9

33、, 訂票量>20: 15%算 12月 訂票量≤20: 5%折扣 1－6, 訂票量>20: 30%量 10,11月 訂票量≤20: 5%,,,,二. 結(jié)構(gòu)化分析實(shí)施步驟,1. 確定系統(tǒng)邊界, 畫出系統(tǒng)環(huán)境圖2. 自頂向下，畫出各層數(shù)據(jù)流圖3. 定義數(shù)據(jù)字典4. 定義小說(shuō)明,三. 系統(tǒng)行為描述,采用動(dòng)態(tài)分析方法，直觀地分析系統(tǒng)的動(dòng)作。 最常用的動(dòng)態(tài)分析方法： 狀態(tài)遷移圖

34、 時(shí)序圖 Petri網(wǎng),狀態(tài)遷移圖,,,就緒,,,,t1,t4,t2,t3,等待,運(yùn)行,,,,,,,,,,,狀態(tài),事件,,運(yùn)行,就緒,等待,t1,t2,t3,t4,運(yùn)行,就緒,就緒,等待,進(jìn)程的狀態(tài)遷移圖和狀態(tài)遷移表,SafeHomede的狀態(tài)變遷圖,讀用戶輸入,超時(shí),,,監(jiān)視系統(tǒng)狀態(tài),傳感器事件行為,顯示用戶反饋,,,與“用戶交互”有關(guān),,,,,,,開關(guān)/切換,,與“監(jiān)視&控制系統(tǒng)”有關(guān),顯示活動(dòng)狀態(tài),,與“用戶交

35、互”有關(guān),傳感器事件,,與“顯示信息&狀態(tài)”有關(guān),,,,,與“監(jiān)視&控制系統(tǒng)”有關(guān),,傳感器事件,傳感器事件,,與“監(jiān)視&控制系統(tǒng)”有關(guān),,,傳感器事件,,與“顯示信息&狀態(tài)”有關(guān),,,,,,,閃爍,,與“顯示信息&狀態(tài)”有關(guān),時(shí)序圖,T1,功能3,,,(線路),事件e,時(shí)序圖例 通信流例,,功能2,功能1,,,,,,,T2,,,,T3,,,,,,,

36、,T,,,主機(jī)1,主機(jī)2,前端機(jī),前端機(jī),C1,C2,R2,R1,C2,C1,R1,R2,,,,利用Petri網(wǎng)建立需求模型,Petri網(wǎng)是一種系統(tǒng)的數(shù)學(xué)和圖形的描述與分析工具。對(duì)于具有并發(fā)、異步、分布、不確定性和/或隨機(jī)性的信息處理系統(tǒng)都可以利用這種工具構(gòu)造出要開發(fā)的Petri網(wǎng)模型，然后對(duì)其進(jìn)行分析，即可得到有關(guān)系統(tǒng)結(jié)構(gòu)和動(dòng)態(tài)行為方面的信息。作為圖形工具：可使用標(biāo)記來(lái)模擬系統(tǒng)的狀態(tài)

37、 行為和并發(fā)活動(dòng)。作為數(shù)學(xué)工具：可建立狀態(tài)方程、代數(shù)方程以 及系統(tǒng)行為的其他數(shù)學(xué)模型。,一個(gè)并行活動(dòng)的Petri網(wǎng)模型實(shí)例,環(huán)型鐵路例圖,環(huán)型鐵路運(yùn)行的PNG,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,列車1,,列車2,,在復(fù)線區(qū)間運(yùn)行中,到站,單線區(qū)間空出,在單線區(qū)間運(yùn)行中,在復(fù)線區(qū)間運(yùn)行中,到站,單線占用,等待單線區(qū)間開放,單線區(qū)間空出,等待單線區(qū)間開放,