Comparing the modelling power of Petri nets and Q-models
author
Tekko, Jaanus
statement of authorship
Jaanus Tekko
source
Artificial Intelligence in Real-Time Control 1995 : [proceedings]
location of publication
[S.l.]
publisher
Pergamon
year of publication
1996
pages
5 p
series
IFAC proceedings volumes
conference name, date
Sixth International IFAC Workshop on Artificial Intelligence in Real-Time Control, 1995
conference location
Slovenia
url
https://www.sciencedirect.com/science/article/pii/S1474667017436937
subject term
Petri võrgud
süsteemide modelleerimine
mudelid
formaalsed meetodid (informaatika)
tarkvara
spetsifikatsioonid
ISBN
978-0080426006
language
inglise