Sign in
Towards medical device behavioural validation using Petri nets.
Paulo E. S. Barbosa
Misael Morais
Katia Elizabete Galdino
Melquisedec Andrade
Luís Gomes
Filipe Moutinho
Jorge C. A. de Figueiredo
Published in:
CBMS (2013)
Keyphrases
</>
petri net
medical devices
discrete event systems
petri net model
high level petri nets
manufacturing systems
process model
ims ld
state machines
fuzzy petri net
colored petri nets
service composition
web services
cellular automata
concurrent systems