Alternate Bit Protocol modeled by GSPN.

Article View: comp.protocols.iso

Article #548

Back to comp.protocols.iso Previous Next

#548

From: Ajin Jirachiefpattana
Date: Thu, 03 Sep 1992 03:48

18 lines
991 bytes

Hi,

I am currently practicing using the GreatSPN 1.5. Now my questions are:

* Is there anybody out there who has tried using GSPN to model the Alternate Bit
  protocol, and if so:
- Can I simply transform the Petri net model for this protocol to the GSPN model?
- How to include the time-out rate in the model?

Thanks in advance.

Ajin Jirachiefpattana, 
jira@latcs1.lat.oz.au

Department of Computer Science & Computer Engineering,
La Trobe University,
Bundoora, Vic., 3083.
Australia.

Technical Details

Message-ID: <1992Sep3.034856.14980@latcs1.lat.oz.au>

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!ariel!ucsvc.ucs.unimelb.edu.au!lugb!latcs1!elc2.lat.oz.au!jira

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!ariel!ucsvc.ucs.unimelb.edu.au!lugb!latcs1!elc2.lat.oz.au!jira
From: jira@latcs1.lat.oz.au (Ajin Jirachiefpattana)
Newsgroups: comp.protocols.iso
Subject: Alternate Bit Protocol modeled by GSPN.
Message-ID: <1992Sep3.034856.14980@latcs1.lat.oz.au>
Date: 3 Sep 92 03:48:56 GMT
Sender: news@latcs1.lat.oz.au (news)
Organization: Comp Sci, La Trobe Uni, Australia
Lines: 18
Originator: jira@elc2.lat.oz.au
Nntp-Posting-Host: elc2.lat.oz.au