Xian Yi

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This paper models the behavior of Ada tasks with Petri nets according to the semantics and the syntax of them, and this net is called an Ada net. Moreover our Ada net can improve the rendezvous model proposed by the S.M. Shatz as well as describing the task type. At the same time, we present the semantics and the syntax of computation tree logic with the(More)
  • 1