Keyword: structured analysis

• Shih, Timothy K.:
  Participator dependent multimedia presentation. 1998.

• Bucci, G.; Campanai, M.; Nesi, P.:
  Tools for specifying real-time systems. 1995.

• Scheschonk, Gert:
  Software-Entwicklung und Simulation - Eine integrierte Methodenkette. 1992.

• Franzen, H.; Siegel, G.:
  Die Methode der strukturierten Analyse mit Petri-Netzen (SA/PN) als Echtzeiterweiterung. 1991.

• Pinci, Valerio O.; Shapiro, Robert M.:
  An Integrated Software Development Methodology Based on Hierarchical Colored Petri Nets. 1991.

• He, Xudong; Lee, John A. N.:
  A Methodology for Constructing Predicate Transition Net Specifications. 1991.

• Kamwa, I.; Saulnier, B.; Reid, R.:
  Petri Net Based Specification of a Real-Time Supervisory Controller for an Autonomous Wind-Diesel System. 1991.

• Autolitano, A.; Artesi, L.; Ghiotto, M.; Venturini, F.:
  Applications of the Methodologies of Analysis and Simulation in the Datamat Group. 1990.

• Pinci, Valerio O.; Shapiro, Robert M.:
  Development and Implementation of a Strategy for Electronic Funds Transfer by means of Hierarchical Colored Petri Nets. 1990.

• Pulli, P.J.:
  Real-Time Pattern Matching Technique for Executable SA/RT Specifications. 1990.

• Pulli, P.J.:
  Pattern-Directed Real-Time Execution of SA/RT Specifications. 1989.

Back to the Petri Nets Bibliography