Integrated approach to modelling and analysis using RTCP-nets

IFIP International Federation for Information Processing

Volumn 227, Issue , 2006, Pages 115-120

  Szpyrka, Marcin ^a   Szmuc, Tomasz ^a  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COLOURED PETRI NETS; FORMAL SPECIFICATION; INTEGRATED APPROACH; INTEGRATED ENVIRONMENT; MODELLING AND ANALYSIS; RTCP-NETS; RULE BASED CONTROL SYSTEMS;

PETRI NETS; SOFTWARE ENGINEERING; SPECIFICATIONS;

EMBEDDED SYSTEMS;

EID: 33846292535     PISSN: 15715736     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-39388-9_11     Document Type: Article

References (7)

1. Cheng A. M. K. Real-time Systems. Scheduling, Analysis, and Verification. Wiley Interscience, New Jersey, 2002.
2. Heitmeyer, C, Mandrioli, D. (Eds.) Formal Methods for Real-Time Computing. Jonh Wiley & Sons, Chichester, 1996.
3. Jensen K. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 1-3. Springer-Veriag, 1992-1997.
4. Ligeza A. Logical Foundations of Rule-Based Systems. Springer-Verlag, Berlin, 2006.
5. Szpyrka M. Analysis of RTCP-nets with reachability graphs. Fundamenta Informaticae, 2006 (to appear).
6. Szpyrka M. Fast and flexible modelling of real-time systems with RTCP-nets. Computer Science, 6:81-94, 2004,
7. Szpyrka M., Szmuc T. D-nets - Petri net form of rule-based systems. Foundations of Computing and Decision Sciences, 31(2):157-167, 2006.