home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / sources / wanted / 3737 < prev    next >
Encoding:
Internet Message Format  |  1992-07-25  |  1.2 KB
  1. Xref: sparky comp.sources.wanted:3737 alt.sources.wanted:1272
  2. Path: sparky!uunet!europa.asd.contel.com!darwin.sura.net!wupost!cs.utexas.edu!sun-barr!sh.wide!wnoc-kyo!kuis!icpc!icpcs41!s3hp.fuee.fukui-u.ac.jp!adel
  3. From: adel@s3hp.fuee.fukui-u.ac.jp
  4. Newsgroups: comp.sources.wanted,alt.sources.wanted
  5. Subject: invariants of a petri net model
  6. Keywords: Petri net's incidence matrix
  7. Message-ID: <1631@icpcs41.icpc.fukui-u.ac.jp>
  8. Date: 25 Jul 92 06:10:50 GMT
  9. Sender: news@icpcs41.icpc.fukui-u.ac.jp
  10. Followup-To: comp.sources.wanted
  11. Organization: Department of Electrical and Electronics engineering Fukui University
  12. Lines: 18
  13. Nntp-Posting-Host: s3hp
  14.  
  15. Hello! Dear netters,
  16.  
  17. I am looking for a C program(or pascal/fortran) to calculate the 
  18. invariants of a petri net model using it's incidence matrix. 
  19. does anyone has any such a tool.
  20. Others petri net analysis tools are also appreciated.
  21.  
  22. please send your reply to my personal email address.
  23.  
  24. Lots of thanks in advance, for any kind of help
  25.  
  26.  
  27.  
  28. --
  29. *:::::::::::----------------------------------:::::::::::::::*
  30. * Ben Mnaouer Adel         Email: adel@s3hp.fuee.fukui-u.ac.jp  
  31. * Fukui university ,  Dept of elec. eng.
  32. * Tel: Off. (0776) 23-0500  ext: 2716,    Home. (0776) 25-8214     
  33.