The Library
Message sequence charts ADVANCES IN PETRI NETS
Tools
UNSPECIFIED (2004) Message sequence charts ADVANCES IN PETRI NETS. In: 4th Advanced Course on Petri Nets, Eichstaat, GERMANY, SEP, 2003. Published in: LECTURES ON CONCURRENCY AND PETRI NETS, 3098 pp. 537-558. ISBN 3-540-22261-8. ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
Message sequence charts (MSC) are a graphical notation standardized by the ITU and used for the description of communication scenarios between asynchronous processes. This survey compares MSCs and communicating finite-state automata, presenting two fundamental validation problems on MSCs, model-checking and implementability.
Item Type: | Conference Item (UNSPECIFIED) | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Series Name: | LECTURE NOTES IN COMPUTER SCIENCE | ||||
Journal or Publication Title: | LECTURES ON CONCURRENCY AND PETRI NETS | ||||
Publisher: | SPRINGER-VERLAG BERLIN | ||||
ISBN: | 3-540-22261-8 | ||||
ISSN: | 0302-9743 | ||||
Editor: | Desel, J and Reisig, W and Rozenberg, G | ||||
Official Date: | 2004 | ||||
Dates: |
|
||||
Volume: | 3098 | ||||
Number of Pages: | 22 | ||||
Page Range: | pp. 537-558 | ||||
Publication Status: | Published | ||||
Title of Event: | 4th Advanced Course on Petri Nets | ||||
Location of Event: | Eichstaat, GERMANY | ||||
Date(s) of Event: | SEP, 2003 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |