Detail výsledku
Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets
ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets. KYBERNETES, 2002, vol. 2002, no. 9, p. 1289-1299. ISSN: 0368-492X.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Abstrakt
This paper presents several research issues associated with thePNtalk language that is based on a certain kind of object-oriented Petri nets(OOPNs) and intended mainly for modelling, prototyping, and verifyingconcurrent and distributed applications. The paper reviews the main concepts ofPNtalk and OOPNs followed by a proposal of a system allowing prototypes basedon PNtalk to be run in a distributed way. Furthermore, the first steps madetowards state spaces-based formal analysis and verification over PNtalk OOPNsare also briefly mentioned in the paper.
Klíčová slova
object-oriented Petri nets
Rok
2002
Strany
1289–1299
Časopis
KYBERNETES, roč. 2002, č. 9, ISSN 0368-492X
BibTeX
@article{BUT41082,
author="Milan {Češka} and Vladimír {Janoušek} and Tomáš {Vojnar}",
title="Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets",
journal="KYBERNETES",
year="2002",
volume="2002",
number="9",
pages="1289--1299",
issn="0368-492X"
}
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
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
Pracoviště