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

Anglický název

Analysis and Verification Queries over Object-Oriented Petri Nets

Jazyk

en

Originální abstrakt

In literature there have been proposed many different ways of asking formal analysis or verification questions to be answered over state spaces of various kinds of models. In this paper, we discuss how these methods can be accommodated for the case when the systems being examined are modelled by object-oriented Petri nets (OOPNs). We deal with the OOPNs associated with the PNtalk language and tool.

Anglický abstrakt

In literature there have been proposed many different ways of asking formal analysis or verification questions to be answered over state spaces of various kinds of models. In this paper, we discuss how these methods can be accommodated for the case when the systems being examined are modelled by object-oriented Petri nets (OOPNs). We deal with the OOPNs associated with the PNtalk language and tool.

Dokumenty

BibTex


@article{BUT40354,
  author="Milan {Češka} and Vladimír {Janoušek} and Tomáš {Vojnar}",
  title="Analysis and Verification Queries over Object-Oriented Petri Nets",
  annote="In literature there have been proposed many different ways of asking
formal analysis or verification questions to be answered over state
spaces of various kinds of models. In this paper, we discuss how these
methods can be accommodated for the case when the systems being
examined are modelled by object-oriented Petri nets (OOPNs). We deal
with the OOPNs associated with the PNtalk language and tool.",
  address="Springer Verlag",
  booktitle="Formal Methods and Tools for Computer Science",
  chapter="40354",
  institution="Springer Verlag",
  journal="Lecture Notes in Computer Science (IF 0,513)",
  number="2178",
  volume="2001",
  year="2001",
  month="january",
  pages="365--384",
  publisher="Springer Verlag",
  type="journal article - other"
}