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. Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts. Las Palmas de Gran Canaria, Canary Islands, Spain: University of Las Palmas, 2001. p. 115-118. ISBN: 84-699-3971-8.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Češka Milan, prof. RNDr., CSc.
Janoušek Vladimír, doc. Ing., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D.
Abstrakt

In this contribution, we discuss how the different ways of askingformal analysis or verification questions that have been proposed inthe context of various modelling languages can be accommodated for thecase when the systems under investigation are modelled byobject-oriented Petri nets (OOPNs). We deal with the OOPNs associatedto the language and tool called PNtalk that are being developed at theDepartment of Computer Science and Engineering of the Brno Universityof Technology since 1993.

Klíčová slova

object-oriented Petri nets, formal analysis and verification, state spaces

Rok
2001
Strany
115–118
Sborník
Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts
Konference
8th International Conference on Computer Aided Theory and Technology, EUROCAST'01
ISBN
84-699-3971-8
Vydavatel
University of Las Palmas
Místo
Las Palmas de Gran Canaria, Canary Islands, Spain
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",
  booktitle="Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts",
  year="2001",
  pages="115--118",
  publisher="University of Las Palmas",
  address="Las Palmas de Gran Canaria, Canary Islands, Spain",
  isbn="84-699-3971-8"
}
Projekty
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ýzkum a aplikace heterogenních modelů, GAČR, Standardní projekty, GA102/98/0552, zahájení: 1998-01-01, ukončení: 2000-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
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