Temporal Petri nets and their application to modeling and analysis of a handshake daisy chain arbiter

This publication has 19 references indexed in Scilit:

• Design and synthesis of synchronization skeletons using branching time temporal logic
  Published by Springer Nature ,2005
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
  ACM Transactions on Computer Systems, 1984
• Synthesis of Communicating Processes from Temporal Logic Specifications
  ACM Transactions on Programming Languages and Systems, 1984
• Proving Liveness Properties of Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1982
• Timed Petri nets and preliminary performance evaluation
  Published by Association for Computing Machinery (ACM) ,1980
• Petri Nets
  ACM Computing Surveys, 1977
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977
• Recoverability of Communication Protocols--Implications of a Theoretical Study
  IEEE Transactions on Communications, 1976
• Asynchronous Arbiters
  IEEE Transactions on Computers, 1972
• A note on reliable full-duplex transmission over half-duplex links
  Communications of the ACM, 1969