Login / Signup
The specification and design of hard real-time systems using timed and temporal petri nets.
J. S. Sagoo
D. J. Holding
Published in:
Microprocessing and Microprogramming (1990)
Keyphrases
</>
petri net
sequence diagrams
colored petri nets
state machines
petri net model
discrete event systems
manufacturing systems
concurrent systems
temporal information
service composition
reactive systems
stochastic petri net
cellular automata
ims ld
fuzzy petri net