Result Details

Analysis and Verification Queries over Object-Oriented Petri Nets

ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Analysis and Verification Queries over Object-Oriented Petri Nets. Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts. Las Palmas de Gran Canaria, Canary Islands, Spain: University of Las Palmas, 2001. p. 115-118. ISBN: 84-699-3971-8.
Type
conference paper
Language
English
Authors
Češka Milan, prof. RNDr., CSc.
Janoušek Vladimír, doc. Ing., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D.
Abstract

In this contribution, we discuss how the different ways of askingformal analysis or verification questions that have been proposed inthe context of various modelling languages can be accommodated for thecase when the systems under investigation are modelled byobject-oriented Petri nets (OOPNs). We deal with the OOPNs associatedto the language and tool called PNtalk that are being developed at theDepartment of Computer Science and Engineering of the Brno Universityof Technology since 1993.

Keywords

object-oriented Petri nets, formal analysis and verification, state spaces

Annotation

In this contribution, we discuss how the different ways of asking formal analysis or verification questions that have been proposed in the context of various modelling languages can be accommodated for the case when the systems under investigation are modelled by object-oriented Petri nets (OOPNs). We deal with the OOPNs associated to the language and tool called PNtalk that are being developed at the Department of Computer Science and Engineering of the Brno University of Technology since 1993.

Published
2001
Pages
115–118
Proceedings
Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts
Conference
8th International Conference on Computer Aided Theory and Technology, EUROCAST'01
ISBN
84-699-3971-8
Publisher
University of Las Palmas
Place
Las Palmas de Gran Canaria, Canary Islands, Spain
BibTeX 
@inproceedings{BUT5420,
  author="Milan {Češka} and Vladimír {Janoušek} and Tomáš {Vojnar}",
  title="Analysis and Verification Queries over Object-Oriented Petri Nets",
  booktitle="Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts",
  year="2001",
  pages="115--118",
  publisher="University of Las Palmas",
  address="Las Palmas de Gran Canaria, Canary Islands, Spain",
  isbn="84-699-3971-8"
}
Projects
PNtalk - tools based on object-oriented Petri nets, BUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, start: 1994-01-01, end: 2010-12-31, completed
Research and Applications of Heterogenous Models, GACR, Standardní projekty, GA102/98/0552, start: 1998-01-01, end: 2000-12-31, completed
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Petri Nets Research Group (VZ PETRINET)
System Modelling and Optimization Research Group (VZ MODSIM)
Departments
Faculty of Information Technology (FIT)
Back to top