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.

BIP Language : Concrete Syntax

[document] Submitted on 14 August, 2019 - 13:34
Keywords BIP Language : Concrete Syntax
Standards groups

A behavior is defined by a Petri net or an automaton. In both cases, it is a set
of states/places and transitions. In the case of an automaton the keyword state is followed by a control state and the list of outgoing transitions from this state. Each transition is labelled by a port identifier followed by its guard, function (i.e. statement) and a target state. The target state is either a simple state or a selected list of target states, in this case all list elements must have a condition except the last one which must be unconditional.

In the case of a Petri net, the keyword trans is followed by a port identifier, the
keyword from, the list of incoming places, its guard, function, and the target
places. The target places are either a simple list of places or a selected list of couples (condition, target places) followed by unconditional target places.

Metadata
Date published
2007-06-11
Document type
technical white paper
Pages
7
Replaced/Superseded by document(s)
Cancelled by
Amended by
File MIME type Size (KB) Language Download
Paper BIP Language -www-syntax.pdf application/pdf   88.9 KB English DOWNLOAD!
File attachments
Organisation(s)
Defines standard
Visit also