Small Spacecraft Software Modeling: A Petri Net-Based Approach.
Levi MalottPasha PalangpourHenry PernickaSriram ChellappanPublished in: J. Aerosp. Inf. Syst. (2014)
Keyphrases
- petri net
- colored petri nets
- stochastic petri net
- embedded real time systems
- petri net model
- web service composition
- discrete event systems
- manufacturing systems
- reactive systems
- high level petri nets
- sequence diagrams
- service composition
- software systems
- fuzzy petri net
- computer systems
- software development
- business processes
- story generation
- artificial intelligence