home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / protocol / iso / 1093 < prev    next >
Encoding:
Internet Message Format  |  1992-09-02  |  961 b 
  1. Path: sparky!uunet!munnari.oz.au!ariel!ucsvc.ucs.unimelb.edu.au!lugb!latcs1!elc2.lat.oz.au!jira
  2. From: jira@latcs1.lat.oz.au (Ajin Jirachiefpattana)
  3. Newsgroups: comp.protocols.iso
  4. Subject: Alternate Bit Protocol modeled by GSPN.
  5. Message-ID: <1992Sep3.034856.14980@latcs1.lat.oz.au>
  6. Date: 3 Sep 92 03:48:56 GMT
  7. Sender: news@latcs1.lat.oz.au (news)
  8. Organization: Comp Sci, La Trobe Uni, Australia
  9. Lines: 18
  10. Originator: jira@elc2.lat.oz.au
  11. Nntp-Posting-Host: elc2.lat.oz.au
  12.  
  13. Hi,
  14.  
  15. I am currently practicing using the GreatSPN 1.5. Now my questions are:
  16.  
  17. * Is there anybody out there who has tried using GSPN to model the Alternate Bit
  18.   protocol, and if so:
  19. - Can I simply transform the Petri net model for this protocol to the GSPN model?
  20. - How to include the time-out rate in the model?
  21.  
  22. Thanks in advance.
  23.  
  24. Ajin Jirachiefpattana, 
  25. jira@latcs1.lat.oz.au
  26.  
  27. Department of Computer Science & Computer Engineering,
  28. La Trobe University,
  29. Bundoora, Vic., 3083.
  30. Australia.
  31.