Detail publikace

Analysis and Verification Queries over Object-Oriented Petri Nets

Originální název

Analysis and Verification Queries over Object-Oriented Petri Nets

Anglický název

Analysis and Verification Queries over Object-Oriented Petri Nets

Jazyk

en

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.

Anglický 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.

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",
  annote="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.",
  address="University of Las Palmas",
  booktitle="Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts",
  chapter="5420",
  institution="University of Las Palmas",
  year="2001",
  month="january",
  pages="115--118",
  publisher="University of Las Palmas",
  type="conference paper"
}