C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Modelling the Next Generation ALICE Grid Middleware Using Coloured Petri Nets.
Maxim Storetvedt
Latchezar Betev
Nikola Hardi
Håvard Helstrup
Kristin Fanebust Hetland
Bjarte Kileng
Published in:
Petri Nets (2022)
Keyphrases
</>
coloured petri nets
grid middleware
formal verification
grid computing
grid environment
database
databases
digital libraries
data management