簡介
龐善臣，男，博士，山東嘉祥縣人，1974年10月18日出生，中共黨員，現為山東科技大學信息科學與工程學院副院長、副教授，中國計算機學會Petri網專業委員會委員， 2008年2月同濟大學計算機軟體與理論專業博士畢業，2009年3月，在清華大學從事博士後研究工作。近十年來一直從事（高級）Petri網理論與套用、形式化方法、模型檢查、CSCW系統、分散式並發系統分析與驗證等領域的教學和研究工作，主持國家自然科學基金項目1項，主持國家博士後基金項目1 項，作為學術骨幹參加國家重點基礎研究計畫項目（973）1項，參加國家863項目1項、國家自然科學基金項目3項、上海市重大重點計畫等省級基金項目3 項，在《Discrete Mathematics》《Graphs and Combinatorics》《Dynamics of Continuous, Discrete and Impulsive Systems》《計算機學報》《軟體學報》《自動化學報》《電子學報》等雜誌上發表論文30餘篇，其中SCI、EI檢索10篇；主持企業信息化項目10餘項，獲山東高等學校科研成果二等獎、三等獎各1項，獲第一屆山東科技大學優秀青年科技工作者、“我心目中的好老師”、創新活動指導獎等10餘項稱號，三年來，指導學生參加美國數學建模競賽，獲一等獎1項、二等獎2項，參加全國數學建模競賽，獲國家一等獎、二等獎各1項。
近 5年發表的主要論文
1.龐善臣,蔣昌俊,孫萍,周長紅.共享合成Petri網的性質分析.自動化學報,2004,30(6):944-948.(EI檢索)
2.龐善臣,蔣昌俊.基於家態的多事務工作流完整性分析.電子學報,2006,34(6):1163-1168.(EI檢索)
3.龐善臣,蔣昌俊.一種基於不變數結構分解的工作流性能分析.計算機學報，2009
4.龐善臣,蔣昌俊.Petri網在工作流系統建模和分析中的套用.系統仿真學報,2005,17:100-104.（EI檢索）
5.龐善臣,蔣昌俊.工作流模型驗證及分解的多項式算法分析.同濟大學學報，2009,37(3):390-394.(EI檢索)
6.龐善臣,王淑棟.一種基於模式最長前綴正文分割的串匹配新算法.小型微型計算機系統，2004,25(3):404-406.
7.龐善臣,王淑棟,蔣昌俊.BM串匹配的一個改進算法. 計算機套用,2004,24(12):11-13.
8.Shanchen pang, shumei wang, changjun jiang. A Framework for Designing Grid Workflow System based on ontology. The 6th International Conference on Grid and Cooperative Computing,IEEE Computer Society:2007,354-360.（EI檢索）
9.Shan-chen Pang,Xiao-wei Guan,Zhi-hui Lin,Lei-zhi Wang. Effective Approach Based on Divide-and-Conquer and Genetic Algorithm for Redistricting. Dynamics of Continuous, Discrete and Impulsive Systems,2007,Vol.14(3S):950-956.
10.PANG Shan-Chen,SU Yan-Sen,LI Ye, SU Jie, ZHANG Huai-Zhou. A Study on the Model of the Traffic Signs in the Traffic Circle. ICIECS 2009.
11.范小芹,蔣昌俊,王俊利，龐善臣.隨機QoS感知的Web服務組合.軟體學報,2009,30(3):546-556.(EI檢索)
主持或參與的理論項目及獲獎情況
1、國家自然科學基金項目：Petri網可重寫理論及在服務組合中的套用（No. 60970001）2010.1～2012.12，項目主持人
2、中國國家博士後基金項目：基於Petri網重寫的服務組合方法研究（No. 20090460318）2009.12～2011.3，項目主持人
3、國家重點基礎研究計畫項目（973）：信息服務的服務質量控制與度量（No.2010CB328105）,學術骨幹
4、國家自然科學基金項目：面向可信管理的軟體病態模型、機理及理論研究（No.90718012）2008.1～2010.12，參加
5、國家自然科學基金項目：DNA計算模型的理論研究及套用（No.60503002）2006.1～2008.12，參加
6、龐善臣,張金泉,丁志軍,紀淑娟,劉關俊. 基於Petri網的協同系統建模及套用，獲2006年山東高等學校科研成果自然科學三等獎.
7、圖與仿生計算理論及套用的研究，山東高等學校優秀科研成果獎自然科學二等獎，2005，第五位.
8、生物計算理論、模型及最佳化套用，青島市自然科學二等獎，2009，第4位.
