Login / Signup

Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter.

Ichiro SuzukiHarngdar Lu
Published in: IEEE Trans. Computers (1989)
Keyphrases
  • petri net
  • colored petri nets
  • stochastic petri net
  • artificial intelligence
  • web services
  • reactive systems
  • concurrent systems