A survey on the decidability questions for classes of fifo nets

This publication has 14 references indexed in Scilit:

• A generalization of the procedure of karp and miller to well structured transition systems
  Lecture Notes in Computer Science, 1987
• Petri Nets: Central Models and Their Properties
  Published by Springer Nature ,1987
• Petri Nets: Applications and Relationships to Other Models of Concurrency
  Published by Springer Nature ,1987
• Petri Nets
  Published by Springer Nature ,1985
• Fair serializability of iterated transactions using fifo-nets
  Published by Springer Nature ,1985
• Petri Nets Theory for the Correctness of Protocols
  IEEE Transactions on Communications, 1982
• Decidability of reachability in vector addition systems (Preliminary Version)
  Published by Association for Computing Machinery (ACM) ,1982
• Towards Analyzing and Synthesizing Protocols
  IEEE Transactions on Communications, 1980
• Modeling communications protocols by automata
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1979
• Ordering by Divisibility in Abstract Algebras
  Proceedings of the London Mathematical Society, 1952