Concurrent regular expressions and their relationship to Petri nets

This publication has 12 references indexed in Scilit:

• ConC: A language for concurrent programming
  Computer Languages, 1991
• Finitely recursive process models for discrete event systems
  IEEE Transactions on Automatic Control, 1988
• PROTEAN: a high-level Petri net tool for the specification and verification of communication protocols
  IEEE Transactions on Software Engineering, 1988
• Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols
  IEEE Transactions on Software Engineering, 1987
• Modeling concurrency with partial orders
  International Journal of Parallel Programming, 1986
• CIRCAL and the representation of communication, concurrency, and time
  ACM Transactions on Programming Languages and Systems, 1985
• An Algorithm for the General Petri Net Reachability Problem
  SIAM Journal on Computing, 1984
• COSY ? a system specification language based on paths and processes
  Acta Informatica, 1979
• Petri nets and szilard languages
  Information and Control, 1977
• Computation sequence sets
  Journal of Computer and System Sciences, 1976