Detail výsledku

Analysis and Verification Queries over Object-Oriented Petri Nets

ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Analysis and Verification Queries over Object-Oriented Petri Nets. Lecture Notes in Computer Science, 2001, vol. 2001, no. 2178, p. 365-384. ISSN: 0302-9743.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Češka Milan, prof. RNDr., CSc.
Janoušek Vladimír, doc. Ing., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D., FEKT (FEKT)
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

URL
Rok
2001
Strany
365–384
Časopis
Lecture Notes in Computer Science, roč. 2001, č. 2178, ISSN 0302-9743
Kniha
Formal Methods and Tools for Computer Science
Vydavatel
Springer Verlag
Místo
Berlín
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"
}
Projekty
Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí, GAČR, Standardní projekty, GA102/00/1017, zahájení: 2000-01-01, ukončení: 2002-12-31, ukončen
PNtalk - nástroje založené na objektově orientovaných Petriho sítích, VUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, zahájení: 1994-01-01, ukončení: 2010-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina modelování a optimalizace (VZ MODSIM)
Výzkumná skupina Petriho sítí (VZ PETRINET)
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru