Standout Papers

Modeling and verification of time dependent systems using time Petri nets 1991 2026 2002 2014 427
  1. Modeling and verification of time dependent systems using time Petri nets (1991)
    Bernard Berthomieu, M. Díaz IEEE Transactions on Software Engineering

Immediate Impact

34 standout
Sub-graph 1 of 13

Citing Papers

Advancements and challenges of digital twins in industry
2024 Standout
A Survey on Cyber–Physical Systems Security
2023 Standout
2 intermediate papers

Works of Bernard Berthomieu being referenced

Modeling and verification of time dependent systems using time Petri nets
1991 Standout

Author Peers

Author Last Decade Papers Cites
Bernard Berthomieu 506 207 144 14 644
M. Díaz 360 154 106 18 560
G. Chiola 476 158 246 17 634
Claude Jard 472 105 129 56 724
Angelo Morzenti 505 148 42 55 695
Meyer 131 104 136 13 587
Christoph Lindemann 226 85 224 27 582
Ph. Schnoebelen 457 49 43 21 586
A. N. Habermann 187 203 30 22 654
Jean-Jacques Lesage 399 40 101 43 708
P. Zafiropulo 425 116 30 11 650

All Works

Loading papers...

Rankless by CCL
2026