Subject: RE: SDL-News: syntax for the enabling condition
From: VINCENT Daniel FTRD/DTL/LAN (daniel.vincent#rd.francetelecom.fr)
Date: Tue Nov 28 2000 - 08:03:09 GMT
Become an SDL Forum Society member <http://www.sdl-forum.org/Society/members.htm>
The originator of this message is responsible for its content.
-----From VINCENT Daniel FTRD/DTL/LAN <daniel.vincent#rd.francetelecom.fr> to sdlnews -----
Hi Sergei,
It would be syntactically correct if you put a transition under INPUT X;
BUT, it will probably not make what you expect :
The correct construction is rather :
-----------
/ /\ /! \
! \ ! !
! \ ! !
\ \/ --- /
-----------
!
!
----------------------
! !
--------------
\ X !
/ !
--------------
!
/ V = 1 \
\ /
!
etc
Thus, X will be consumed only if V=1, and instead will be left in the input
queue (saved), if no other input X can consume it, until something changes
in the process instance.
-----Message d'origine-----
De: Serge Boroday [ mailto:sboroday#crim.ca <mailto:sboroday#crim.ca> ]
Date: mardi 28 novembre 2000 00:06
á: sdlnews#sdl-forum.org
Objet: SDL-news: syntax for the enabling condition
Become an SDL Forum Society member <
http://www.sdl-forum.org/Society/members.htm
<http://www.sdl-forum.org/Society/members.htm> >
The originator of this message is responsible for its content.
-----From Serge Boroday <sboroday#crim.ca> to sdlnews -----
Dear SDL Experts,
Could you, please, tell me
a) is the following a syntactically correct SDL state?
b) is it supposed to define an input
guarded with an enabling conditions?
-----------
/ /\ /! \
! \ ! !
! \ ! !
\ \/ --- /
-----------
!
!
----------------------
! !
--------------
\ - - ! / -- -- /! \
\ \/ ! / \ / --- ! \
/ /\ ! \ \/ --- ! /
/ - - ! \ --- /
-------------- !
!
\!/
V
this figure is -----------
best viewed with / /\ /! \
a fixed width font ! \ ! !
! \ ! !
\ \/ --- /
-----------
Thank you in advance,
Serge Boroday, research assistant,
Centre de Recherche Informatique
de Montreal (CRIM),
Montreal, Canada
--End text from Serge Boroday <sboroday#crim.ca> to sdlnews ---
For extra SDL Forum Society benefits join at <
http://www.sdl-forum.org/Society/members.htm
<http://www.sdl-forum.org/Society/members.htm> >
For help, email "majordomo#sdl-forum.org" with the body of your email as:
or (iff this does not answer your question) email:
owner-sdlnews#sdl-forum.org
--End text from VINCENT Daniel FTRD/DTL/LAN <daniel.vincent#rd.francetelecom.fr> to sdlnews ---
For extra SDL Forum Society benefits join at <http://www.sdl-forum.org/Society/members.htm>
This archive was generated by hypermail 2a23 : Thu May 09 2013 - 16:05:49 GMT