Publication result detail

Analysis and Verification Queries over Object-Oriented Petri Nets

ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T.

Original Title

Analysis and Verification Queries over Object-Oriented Petri Nets

English Title

Analysis and Verification Queries over Object-Oriented Petri Nets

Type

Paper in proceedings outside WoS and Scopus

Original 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.

English 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

Key words in English

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

Authors

ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T.

Released

01.01.2001

Publisher

University of Las Palmas

Location

Las Palmas de Gran Canaria, Canary Islands, Spain

ISBN

84-699-3971-8

Book

Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts

Pages from

115

Pages to

118

Pages count

4

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"
}