From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,d1106806fae00ae8
X-Google-Attributes: gid103376,public
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Ada tasking issues
Date: 1996/06/06
Message-ID: <dewar.834101798@schonberg>#1/1
X-Deja-AN: 158919514
references: <4p7418$hi2@news.eecs.uic.edu>
organization: Courant Institute of Mathematical Sciences
keywords: ATC
newsgroups: comp.lang.ada
Date: 1996-06-06T00:00:00+00:00
List-Id: <comp.lang.ada>


Ravi asks

"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.
"
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 ???)