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

[ncohen@watson.ibm.com (Norman H. Cohen)]

In article <4q5rdc$hr9@dolphin.pst.cfmu.eurocontrol.be>,
crt@cfmu.eurocontrol.be (Dirk Craeynest) writes: 

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

By fortuitous coincidence, I happen to have a paper on my desk right now
whose bibliography includes the following references: 

   Mandrioli, D., Zicari, R., Ghezzi, C, and Tisato, F.  Modeling the
      Ada Task System by Petri Nets. Computer Languages 10 (1985)

   Murata, T., Shenkez, B, and Shatz, S.M.  Detection of Ada Static
      Deadlock Using Petri Net Invariants.   IEEE Transactions on
      Software Enginnering 15 (1989)

   Shatz, S.M., and Cheng, W.K.  A Petri Net Framework for Automated
      Static Analysis of Ada Tasking Behavior.  Journal of System
      Software 8 (1988)

   Stansifer, R., Beaven, M., and Marinescu, D.C.  Modeling Concurrent
      Programs with Colored Petri Nets.  Journal of System Software 26
      (1994)

Happy hunting.

--
Norman H. Cohen    ncohen@watson.ibm.com