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

Peer-reviewed article not indexed in WoS or Scopus

Original Abstract

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.

English abstract

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.

Keywords

Petri nets, object orientation, formal analysis and verification

Key words in English

Petri nets, object orientation, formal analysis and verification

Authors

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

RIV year

2013

Released

01.01.2001

Publisher

Springer Verlag

Location

Berlín

Book

Formal Methods and Tools for Computer Science

ISBN

0302-9743

Periodical

Lecture Notes in Computer Science

Volume

2001

Number

2178

State

Federal Republic of Germany

Pages from

365

Pages to

384

Pages count

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