Login / Signup
Towards Modeling of Cardiac Pacemakers With Timed Coloured Petri Nets And Related Tools.
Mohammed Assiri
Ryszard Janicki
Published in:
PNSE@Petri Nets (2021)
Keyphrases
</>
coloured petri nets
patient specific
software tools
petri net
case study
decision support
colored petri nets
user friendly
closely related
end users
three dimensional
neural network
databases
markov chain
image analysis
bayesian networks
website
formal models
information systems