Detail publikačního výsledku

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

Druh

Článek recenzovaný mimo WoS a Scopus

Originální abstrakt

In literature there have been proposed many different ways of askingformal analysis or verification questions to be answered over statespaces of various kinds of models. In this paper, we discuss how thesemethods can be accommodated for the case when the systems beingexamined are modelled by object-oriented Petri nets (OOPNs). We dealwith the OOPNs associated with the PNtalk language and tool.

Anglický abstrakt

In literature there have been proposed many different ways of askingformal analysis or verification questions to be answered over statespaces of various kinds of models. In this paper, we discuss how thesemethods can be accommodated for the case when the systems beingexamined are modelled by object-oriented Petri nets (OOPNs). We dealwith the OOPNs associated with the PNtalk language and tool.

Klíčová slova

Petri nets, object orientation, formal analysis and verification

Klíčová slova v angličtině

Petri nets, object orientation, formal analysis and verification

Autoři

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

Rok RIV

2013

Vydáno

01.01.2001

Nakladatel

Springer Verlag

Místo

Berlín

Kniha

Formal Methods and Tools for Computer Science

ISSN

0302-9743

Periodikum

Lecture Notes in Computer Science

Svazek

2001

Číslo

2178

Stát

Spolková republika Německo

Strany od

365

Strany do

384

Strany počet

20

URL

http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-eurocast2001.ps.gz

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",
  journal="Lecture Notes in Computer Science",
  year="2001",
  volume="2001",
  number="2178",
  pages="365--384",
  issn="0302-9743",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-eurocast2001.ps.gz"
}