Title
Fluid Petri Nets and hybrid model-checking: a comparative case study
Abstract
The modeling and analysis of hybrid systems is a recent and challenging research area which is actually dominated by two main lines: a functional analysis based on the description of the system in terms of discrete state (hybrid) automata (whose goal is to ascertain conformity and reachability properties), and a stochastic analysis (whose aim is to provide performance and dependability measures).
Year
DOI
Venue
2003
10.1016/S0951-8320(03)00089-9
Reliability Engineering & System Safety
Keywords
DocType
Volume
Fluid petri nets,Hybrid model,Hybrid automata
Journal
81
Issue
ISSN
Citations 
3
0951-8320
7
PageRank 
References 
Authors
0.49
15
6
Name
Order
Citations
PageRank
M. Gribaudo120915.51
A. Horváth2928.37
Andrea Bobbio332736.53
E. Tronci470.49
E. Ciancamerla5616.94
M. Minichino6616.94