Login / Signup
Specification and Analysis of Real-Time Systems Using CSP and Petri Nets.
Krishna M. Kavi
Frederick T. Sheldon
Sherman Reed
Published in:
Int. J. Softw. Eng. Knowl. Eng. (1996)
Keyphrases
</>
petri net
real time systems
colored petri nets
embedded real time systems
real time
state machines
data analysis
fuzzy sets
distributed systems
computer systems
service oriented