Designing communicating transaction processes by supervisory control theory

10.1007/s10703-006-0023-0

Saved in:

Bibliographic Details
Main Authors:	Feng, L., Wonham, W.M., Thiagarajan, P.S.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Subjects:	Communicating transaction processes Discrete-event systems Message sequence charts Supervisory control
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/39127
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-39127
record_format	dspace
spelling	sg-nus-scholar.10635-391272023-10-30T07:07:01Z Designing communicating transaction processes by supervisory control theory Feng, L. Wonham, W.M. Thiagarajan, P.S. COMPUTER SCIENCE Communicating transaction processes Discrete-event systems Message sequence charts Supervisory control 10.1007/s10703-006-0023-0 Formal Methods in System Design 30 2 117-141 FMSDE 2013-07-04T07:34:33Z 2013-07-04T07:34:33Z 2007 Article Feng, L., Wonham, W.M., Thiagarajan, P.S. (2007). Designing communicating transaction processes by supervisory control theory. Formal Methods in System Design 30 (2) : 117-141. ScholarBank@NUS Repository. https://doi.org/10.1007/s10703-006-0023-0 09259856 http://scholarbank.nus.edu.sg/handle/10635/39127 000244688200002 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Communicating transaction processes Discrete-event systems Message sequence charts Supervisory control
spellingShingle	Communicating transaction processes Discrete-event systems Message sequence charts Supervisory control Feng, L. Wonham, W.M. Thiagarajan, P.S. Designing communicating transaction processes by supervisory control theory
description	10.1007/s10703-006-0023-0
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Feng, L. Wonham, W.M. Thiagarajan, P.S.
format	Article
author	Feng, L. Wonham, W.M. Thiagarajan, P.S.
author_sort	Feng, L.
title	Designing communicating transaction processes by supervisory control theory
title_short	Designing communicating transaction processes by supervisory control theory
title_full	Designing communicating transaction processes by supervisory control theory
title_fullStr	Designing communicating transaction processes by supervisory control theory
title_full_unstemmed	Designing communicating transaction processes by supervisory control theory
title_sort	designing communicating transaction processes by supervisory control theory
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/39127
_version_	1781410976266977280

Designing communicating transaction processes by supervisory control theory

Similar Items