Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Petri nets analysis of transaction and submitter management protocols in mobile distributed computing environment
Monash University, Melbourne, VIC.
Monash University, Melbourne, VIC.
Monash University, Melbourne, VIC.
1995 (English)In: Proceedings: Fourth International Conference on Computer Communications and Networks, September 20 - 23, 1995, Las Vegas, Nevada / [ed] Kia Makki, Los Alamitos, Calif: IEEE Communications Society, 1995, p. 292-299Conference paper, Published paper (Refereed)
Abstract [en]

This paper proposes and discusses a simulation model of a message and transaction queuing protocol which supports submission of transactions from mobile workstations in a distributed multidatabase environment. The model is based on coloured Petri nets formalism. A hierarchical coloured Petri nets model describing the two key components of the protocol, namely message queuing facility and transaction queuing facility, is constructed and analyzed using the software tool Design/CPN. Simulation of message and transaction processing algorithms has been carried out to verify and refine the design of the proposed protocol. The tool has also enabled us to assess the practicality of the developed approach and study the impact of the protocol implementation. Finally, the results of simulation are analysed and discussed

Place, publisher, year, edition, pages
Los Alamitos, Calif: IEEE Communications Society, 1995. p. 292-299
Identifiers
URN: urn:nbn:se:ltu:diva-38560DOI: 10.1109/ICCCN.1995.540132Local ID: cff37640-d400-11dc-8eb1-000ea68e967bISBN: 0-8186-7180-7 (print)OAI: oai:DiVA.org:ltu-38560DiVA, id: diva2:1012060
Conference
International Conference on Computer Communications and Networks : 20/09/1995 - 23/09/1995
Note
Upprättat; 1995; 20080205 (cira)Available from: 2016-10-03 Created: 2016-10-03 Last updated: 2018-06-11Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Zaslavsky, Arkady

Search in DiVA

By author/editor
Zaslavsky, Arkady

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 46 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf