Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets.
Adnan SherifAugusto SampaioSérgio CavalcantePublished in: ICATPN (2003)
Keyphrases
- petri net
- colored petri nets
- state machines
- reactive systems
- petri net model
- sequence diagrams
- manufacturing systems
- discrete event systems
- constraint satisfaction problems
- process model
- stochastic petri net
- ims ld
- computer systems
- fuzzy petri net
- discrete dynamical systems
- programmable logic controller
- artificial intelligence
- concurrent systems
- state machine
- constraint programming
- collaborative learning
- data analysis