Verification method for modelling cooperating processes with coloured sequence diagrams

Proceedings of the IASTED International Conference on Modelling, Identification and Control

Volumn 23, Issue , 2004, Pages 524-528

  Fengler, Olga ^a   Fengler, Wolfgang ^a   Hummel, Thorsten ^a  

^a ILMENAU UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Coloured Sequence Diagram; Embedded Systems; Interval Petri nets; Modelling; Verification

Indexed keywords

COLORED SEQUENCE DIAGRAMS; INTERVAL PETRI NETS; TIME VERIFICATION METHODS;

MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; MATRIX ALGEBRA; PETRI NETS; REAL TIME SYSTEMS;

EMBEDDED SYSTEMS;

EID: 11844263920     PISSN: 10258973     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (6)

1. Capellmann, C.; Dibold, H.: Petri Net Based Specifications of Services in an Intelligent Network. Experiences Gained from a Test Case Application. In: Application and Theory of Petri Nets 1993. Proceedings of the 14th International Petri Net Conference, Chicago 1993, Lecture Notes in Computer Science Vol. 691 (1993), S. 542-551
2. L. Popova-Zeugmann, On Liveness and Boundedness in Time Petri Nets, Workshop Concurrency, Specification & Programming, Warsaw, 1995.
3. Louchka Popova-Zeugmann: On Parametrical Sequences in Time Petri Nets, Humboldt-University Berlin, Institute of Informatics.
4. Fengler, O., Fengler, W., Duridanova, V.: Coloured Sequence Diagrams for Modelling Cooperating Processes Proceedings of the IASTED International Conference on Modelling, Identification, and Control, held February 18-21, 2002, Austria
5. Fengler, O., Fengler, W., Duridanova, V.: Transformation zwischen zustandsorientierten Beschreibungsmitteln der Elektronik und Informatik. Deutsche Forschungsgemeinschaft: Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen. WILEY-VCH&Co.KGaA, 2002, S.229-245. (In German)
6. Duridanova, V., Hummel, Th.: Modelling of Embedded Mechatronic Systems Using Hybrid Petri Nets. In: M. H. Hamza (Ed.): IASTED International Conference Modelling, Identification, and Control, Feb. 19-22, 2001, Innsbruck, Austria, IASTED/ACTA Press 2001, vol. 1, pp. 521-526. ISBN 0-8898-6316-4