Detail publikace

Analysis and Verification Queries over Object-Oriented Petri Nets

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

Originální název

Analysis and Verification Queries over Object-Oriented Petri Nets

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

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

Rok RIV

2001

Vydáno

1. 1. 2001

Nakladatel

University of Las Palmas

Místo

Las Palmas de Gran Canaria, Canary Islands, Spain

ISBN

84-699-3971-8

Kniha

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

Strany od

115

Strany do

118

Strany počet

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