Login / Signup
PNPEq: Verification of Scheduled Conditional Behavior in Embedded Software using Petri Nets.
Rakshit Mittal
Dominique Blouin
Soumyadip Bandyopadhyay
Published in:
APSEC (2021)
Keyphrases
</>
petri net
embedded software
sequence diagrams
petri net model
colored petri nets
concurrent systems
embedded systems
manufacturing systems
software architecture
discrete event systems
development projects
process model
service composition
fuzzy petri net
case study
low cost