Welcome to our new site version. Your web page bookmarks may have changed, please search for pages by title to update them. Having problems ? Please try clearing your web browser cache and hard-reloading your web page first before contacting our webmaster.

A Hypermedia Basis for the Specification, Documentation, Verification, and Prototyping of Concurrent Protocols

[document] Submitted on 14 August, 2019 - 13:50
Keywords A Hypermedia Basis for the Specification documentation verification and Prototyping of Concurrent Protocols Trellis protocols colored Petri nets software engineering
Standards groups

The execution behavior of a CTN provides an interpretation
of the collaborators’ experiences when interacting under the
control of a CPS. As in the original Trellis model, a token in
a place p indicates that the contents of the place Cl(p) are
displayed for viewing (or editing, or some other interaction).
Content elements come into and go out of view (or begin and
end execution) as tokens move through the net. Transitions
are fired by selecting logical hypertext buttons. When a
transition t is fireable in the timed Petri net, its logical button
Bl(t) is displayed in some selectable area of the screen, such
as on a (highlighted) word in a text section, or in a separate
button menu.

The general execution behavior of the CTN in a CPS requires
pattern matching to be done on all arc expressions that are
inputs to a transition. The transition is enabled if there is one
or more consistent color substitutions for the expressions.
When the transition fires, one of the valid substitutions is
chosen, the proper color tokens are removed from the input
places, and output tokens are produced according to the
substitution and the expressions on the output arcs.

Metadata
Date published
UNKNOWN
Document type
technical white paper
Pages
11
Replaced/Superseded by document(s)
Cancelled by
Amended by
File MIME type Size (KB) Language Download
Paper conc_proto.pdf application/pdf   413.17 KB English DOWNLOAD!
File attachments
Organisation(s)
Author(s)
P. David Stotts,Richard Furuta
Defines standard
Visit also