Project Details

Redukce stavového prostoru objektově orientovaných Petriho sítí

Project Period: 1. 1. 2003 - 31. 12. 2003

Project Type: grant

Code: FR829/2003/G1

Agency: Fond rozvoje vysokých škol MŠMT

Program:

English title
State space reductions for object oriented Petri Nets
Type
grant
Keywords

state space, object oriented Petri Nets, formal analysis, verification

Abstract

The main purpose of this project will be to find and propose state space reductions for object oriented Petri nets, which will be possible to use by formal analysis and verification, and to integrate them into a state space generator.

Team members
Haša Luděk, Ing. (DITS FIT BUT) , research leader
Češka Milan, prof. RNDr., CSc. (DITS FIT BUT) , team leader
Publications

2003

  • HAŠA Luděk and ČEŠKA Milan. Allocational Temporal Logic in Model Checking for Object-Oriented Petri Nets. In: Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems. Ostrava, 2003, pp. 177-182. ISBN 80-85988-86-0. Detail
  • HAŠA Luděk and ČEŠKA Milan. Design of a Model Checker for Object-Oriented Petri Net Models. In: IPSI-2003 Proceedings. Belgrad: IPSI Belgrade Ltd, 2003, p. 6. ISBN 88-85280-62-5. Detail
  • ČEŠKA Milan, HAŠA Luděk and VOJNAR Tomáš. Partial-Order Reduction in Model Checking of Object-Oriented Petri Nets. In: Computer Aided Systems Theory - EUROCAST 2003. Lecture Notes in Computer Science, vol. 2809. Berlin: Springer Verlag, 2003, pp. 265-278. ISBN 3-540-20221-8. Detail
Back to top