kompaktne vaade prindi

Comparing the modelling power of Petri nets and Q-models

autor
Tekko, Jaanus
vastutusandmed
Jaanus Tekko
allikas
Artificial Intelligence in Real-Time Control 1995 : [proceedings]
ilmumiskoht
[S.l.]
kirjastus/väljaandja
Pergamon
ilmumisaasta
1996
leheküljed
5 p
seeria-sari
IFAC proceedings volumes
konverentsi nimetus, aeg
Sixth International IFAC Workshop on Artificial Intelligence in Real-Time Control, 1995
konverentsi toimumispaik
Slovenia
leitav
https://www.sciencedirect.com/science/article/pii/S1474667017436937
märksõna
Petri võrgud
süsteemide modelleerimine
mudelid
formaalsed meetodid (informaatika)
tarkvara
spetsifikatsioonid
ISBN
978-0080426006
keel
inglise
Tekko, J. Comparing the modelling power of Petri nets and Q-models // Artificial Intelligence in Real-Time Control 1995 : [proceedings]. [S.l.] : Pergamon, 1996. 5 p. (IFAC proceedings volumes). https://www.sciencedirect.com/science/article/pii/S1474667017436937