Petri nets & Ada tasking (was: Re: Ada tasking issues)

[crt@cfmu.eurocontrol.be (Dirk Craeynest)]

Some time ago, Ravi asked:
>"I've been looking at Ada95 lately. I'm trying to model the Ada95
> tasking constructs using petrinets. Could anyone let me know if
> there are any papers published already in this area."

and Robert Dewar replied:
>I don't have any references, but it's worthwhile to keep looking,
>I *know* that there was some work in the area of modeling Ada 83
>tasking with petrinets (might have been an Esprit project ???)

Several years ago, a joint project of Trasys Space and the Department of
Computer Science at the K.U.Leuven, both in Belgium, studied the use of
Petri nets for modelling dynamic characteristics in HOOD.  As HOOD is
very strongly Ada based, the following reference to a paper on this
research might be useful:

@INPROCEEDINGS{hood,
   author = "H. Van Beirendonck and J. Beaufays and S. Van Baelen
      and K. De Vlaminck",
   title = "Petri nets for modelling dynamic characteristics in {HOOD}",
   booktitle = "The Management of large software projects in
      the space industry",
   address = "Toulouse",
   publisher = "C\'{e}padu\`{e}s-\'{e}ditions",
   pages = "121--130",
   year = 1991,
   organization = "Centre national d'\'{e}tudes spatiales",
}

I hope this helps.

Dirk (Dirk.Craeynest@cs.kuleuven.ac.be for Ada-Belgium e-mail)

PS: You should also do a Web search on "Petri AND Ada": for example
Lycos seems to find some interesting leads (I didn't have time to pursue
this, though).

--
Dirk Craeynest |                         | Email: Dirk.Craeynest@
   OFFIS NV/SA | c/o Eurocontrol - CFMU  |        eurocontrol.be
   Ada-Belgium | Raketstraat 96          | Phone: ++32(2)729.97.36
   Team Ada    | B-1130 Brussel, Belgium | Fax:   ++32(2)729.90.22

+------------/   E-mail: ada@belgium.eu.net
|Ada-Belgium/       WWW: http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/
| on the   /        FTP: ftp://ftp.cs.kuleuven.ac.be/pub/Ada-Belgium
|Internet / Mail-server: mail-server@cs.kuleuven.ac.be
+--------/ Mailing list: ada-belgium-info-request@cs.kuleuven.ac.be