For the most recent entries see the Petri Nets Newsletter.

Rapid ADA Prototyping: Principles and Example of a Complex Application.

Kordon, F.; Estraillier, P.; Card, R.

In: Proceedings of the Ninth Annual International Phoenix Conference on Computers and Communications, 1990, Scottsdale, AZ, USA, pages 453-460. Piscataway, NJ, USA: IEEE Service Center, 1990.

Abstract: The automatic prototyping methodology presented is derived from Petri net theory and has been developed for the PN-TAGADA project (Petri Net Translation, Analysis, and Generation of ADA code). Colored Petri nets allow concise modeling and verification of distributed systems. Management of a phone conversation is used as an example to demonstrate the methodology of the ADA code generator. A description of subscriber behavior and services available at a private automatic branch exchange (PABX) is presented, along with a qualitative analysis of the model.

Keywords: ADA Prototyping; PN TAGADA project; generation (of) ADA (code); private automatic branch exchange service.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography