Sciweavers

231 search results - page 17 / 47
» Time Recursive Petri Nets
Sort
View
WSC
1998
13 years 9 months ago
Timed Petri Nets as a Verification Tool
This paper presents Timed Petri Nets (TPN) as an analytical approach for verification of computerized queueing network simulation models at steady state. It introduces a generic a...
Miryam Barad
JSW
2008
122views more  JSW 2008»
13 years 7 months ago
Modeling and Analysis the Web Structure Using Stochastic Timed Petri Nets
Precise analysis of the Web structure can facilitate data pre-processing and enhance the accuracy of the mining results in the procedure of Web usage mining. STPN Stochastic Timed...
Pozung Chen, Chu-Hao Sun, Shih-Yang Yang
ATVA
2004
Springer
67views Hardware» more  ATVA 2004»
14 years 28 days ago
Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets
Scott Little, David Walter, Nicholas Seegmiller, C...
APN
2001
Springer
14 years 1 days ago
Towards a Notion of Distributed Time for Petri Nets
Mogens Nielsen, Vladimiro Sassone, Jirí Srb...