Login / Signup
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models.
Miguel Felder
Dino Mandrioli
Angelo Morzenti
Published in:
IEEE Trans. Software Eng. (1994)
Keyphrases
</>
petri net
embedded real time systems
real time systems
reactive systems
embedded systems
stochastic petri net
commercial software
discrete event systems
real time
distributed systems
complex systems
process model
petri net model
fuzzy petri net