357 search results - page 38 / 72 » On the Model of Computation of Place Transition Petri Nets |
93
Voted
APN
2000
Springer
15 years 6 months ago
2000
Springer
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
148
click to vote
PE
2011
Springer
14 years 8 months ago
2011
Springer
High-level semi-Markov modelling paradigms such as semi-Markov stochastic Petri nets and process algebras are used to capture realistic performance models of computer and communic...
108
Voted
ISSS
2000
IEEE
15 years 6 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
181
click to vote
DDEP
2000
Springer
15 years 6 months ago
2000
Springer
As mobile computing becomes widespread, so will the need for digital document delivery by hypertextual means. A further trend will be the provision of the ability for devices to de...
89
Voted
FUIN
2008
15 years 1 months ago
2008
Reachability analysis is one of the most successful methods used in design and validation of protocols for classical communication, whereas the predicate/transition-net formalism i...