Detail publikace
Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets
ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets. Kybernetes: The International Journal of Systems & Cybernetics, roč. 2002, č. 9, s. 1289-1299. ISSN 0368-492X.
Název česky
Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets
Typ
článek v časopise
Jazyk
angličtina
Autoři
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Abstrakt
This paper presents several research issues associated with the PNtalk language that is based on a certain kind of object-oriented Petri nets (OOPNs) and intended mainly for modelling, prototyping, and verifying concurrent and distributed applications. The paper reviews the main concepts of PNtalk and OOPNs followed by a proposal of a system allowing prototypes based on PNtalk to be run in a distributed way. Furthermore, the first steps made towards state spaces-based formal analysis and verification over PNtalk OOPNs are also briefly mentioned in the paper.
Rok
2002
Strany
1289-1299
Časopis
Kybernetes: The International Journal of Systems & Cybernetics, roč. 2002, č. 9, ISSN 0368-492X
BibTeX
@ARTICLE{FITPUB7074, author = "Milan \v{C}e\v{s}ka and Vladim\'{i}r Janou\v{s}ek and Tom\'{a}\v{s} Vojnar", title = "Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets", pages = "1289--1299", journal = "Kybernetes: The International Journal of Systems \& Cybernetics", volume = 2002, number = 9, year = 2002, ISSN = "0368-492X", language = "english", url = "https://www.fit.vut.cz/research/publication/7074" }