Computer Science ›› 2012, Vol. 39 ›› Issue (8): 51-54.
Previous Articles Next Articles
Online:
Published:
Abstract: Hybrid Petri net and fluid stochastic Petri arc two modeling methods for hybrid system. hheir modeling mechanism and analysis method are different and the two modeling formalisms are still evolving. Through converting for each other,one modeling method can use the others modeling primitives and analytical method for analyzing system, which is helpful for the future development of them. The formal conversion from hybrid Petri net to fluid stochastic Pe- tri net and a transition mergence method after conversion were proposed. Also, the effectiveness of proposed conversion and mergence was proofed. At the end of paper, a case was illustrated for describing the process of conversion and mer- gcncc.
Key words: Petri net, Model conversion, Hybrid petri net, Fluid stochastic petri net, Transition mergence
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2012/V39/I8/51
Cited