Process enactment in SPADE

This publication has 7 references indexed in Scilit:

• Software processes as real-time systems: a case study using high-level Petri nets
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• The Eureka Software Factory: Concepts and accomplishments
  Published by Springer Nature ,1991
• Validation and verification of software process models
  Published by Springer Nature ,1991
• A unified high-level Petri net formalism for time-critical systems
  IEEE Transactions on Software Engineering, 1991
• Software process enactment in Oikos
  Published by Association for Computing Machinery (ACM) ,1990
• On the implementation of Petri nets
  Published by Springer Nature ,1988
• Recoverability of Communication Protocols--Implications of a Theoretical Study
  IEEE Transactions on Communications, 1976