Coloured Petri net modelling of the ODP trader for use in resource discovery

被引：0
|
作者：
Univ of South Australia, Levels [1 ]
机构：
来源：
Comput Commun | / 1卷 / 39-48期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Modelling and analysis of an integrated automated guided vehicle system using coloured Petri net
    Aized, Tauseef
    Takahashi, Koji
    Hagiwara, Ichiro
    [J]. WORLD CONGRESS ON ENGINEERING 2007, VOLS 1 AND 2, 2007, : 1038 - +
  • [22] Research on Modelling and Simulation of Enterprises Logistics System Based on Timed Coloured Petri Net
    Han Xiuhua
    Jia, Mao
    Li, Xu
    [J]. 2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND LOGISTICS, VOLS 1-6, 2008, : 2914 - +
  • [23] Formal requirements modelling with executable use cases and coloured Petri nets
    Jorgensen, Jens B.
    Tjell, Simon
    Fernandes, Joao M.
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2009, 5 (01) : 13 - 25
  • [24] Perspectives in the use of coloured Petri nets for risk analysis and accident modelling
    Vernez, D
    Buchs, D
    Pierrehumbert, G
    [J]. SAFETY SCIENCE, 2003, 41 (05) : 445 - 463
  • [25] Formal requirements modelling with executable use cases and coloured Petri nets
    Jens B. Jørgensen
    Simon Tjell
    João M. Fernandes
    [J]. Innovations in Systems and Software Engineering, 2009, 5 (1)
  • [26] BUILDING AN EFFICIENT COLOURED PETRI NET SIMULATOR
    Mujica Mota, Miguel A.
    Angel Piera, Miquel
    [J]. INTERNATIONAL MEDITERRANEAN MODELLING MULTICONFERENCE 2006, 2006, : 153 - 158
  • [27] A coloured Petri net approach to protocol verification
    Billington, J
    Gallasch, GE
    Han, B
    [J]. LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 : 210 - 290
  • [28] Parameterised Coloured Petri Net Channel Models
    Billington, Jonathan
    Vanit-Anunchai, Somsak
    Gallasch, Guy E.
    [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 71 - +
  • [29] Coverage Analysis of Net Inscriptions in Coloured Petri Net Models
    Ahishakiye, Faustin
    Jarabo, Jose Ignacio Requeno
    Kristensen, Lars Michael
    Stolz, Volker
    [J]. VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2020, 2020, 12519 : 68 - 83
  • [30] THE USE OF FUZZY COLOURED PETRI NET IN MODELING AND SIMULATION OF FLEXIBLE MANUFACTURING CELL
    Blaga, Florin-Sandu
    Pop, Alin
    Stanasel, Iulian
    Pantea, Ioan
    [J]. ANNALS OF DAAAM FOR 2008 & PROCEEDINGS OF THE 19TH INTERNATIONAL DAAAM SYMPOSIUM, 2008, : 103 - 104
12345