Comparing petri net and activity diagram variants for workflow modelling -A quest for reactive petri nets

被引：0
|
作者：
Eshuis, Rik [1 ]
Wieringa, Roel [1 ]
机构：
[1] Department of Computer Science, University of Twente, P.O.Box 217, NL-7500 AE, Enschede, Netherlands
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2003年 / 2472卷
关键词：
Active systems - Activity diagram - Formal Semantics - Petri net semantics - Reactive system - Resource usage - Work-flow systems - Workflow modelling;
D O I：
10.1007/978-3-540-40022-6_16
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：321 / 351
相关论文
共 50 条
  • [41] Petri nets for information systems modelling
    Voss, K
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 23 - 24
  • [42] Petri Nets as a Formalism for Comparing Expressiveness of Workflow-Based Clinical Guideline Languages
    Grando, Maria Adela
    Glasspool, David W.
    Fox, John
    BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2009, 17 : 348 - +
  • [43] Stociiastic petri nets for modelling and simulation
    Haas, PJ
    PROCEEDINGS OF THE 2004 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2004, : 101 - 112
  • [44] Modelling Maintenance and Renewal in Petri Nets
    Peskova, Alena
    ROBOTICS IN THEORY AND PRACTICE, 2013, 282 : 282 - 286
  • [45] Modelling of Logistic System by Petri Nets
    Cvetkovic, Slavica
    Simunovic, Goran
    Maglic, Leon
    STROJARSTVO, 2010, 52 (02): : 169 - 179
  • [46] Modelling Opacity Using Petri Nets
    Bryans, Jeremy W.
    Koutny, Maciej
    Ryan, Peter Y. A.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 121 : 101 - 115
  • [47] Modelling with hierarchical object Petri nets
    Farwer, B
    Misra, K
    FUNDAMENTA INFORMATICAE, 2003, 55 (02) : 129 - 147
  • [48] Orbital Petri Nets: A Petri Net Class for Studying Orbital Motion of Tokens
    Torky, Mohamed
    Hassanein, A. E.
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT SYSTEMS AND INFORMATICS 2019, 2020, 1058 : 621 - 631
  • [49] Modeling workflow using XML and Petri net
    Yang Dong
    Journal of Systems Engineering and Electronics, 2004, (03) : 440 - 446
  • [50] A Petri net-based workflow system
    Li, Xiaofang
    Wang, Congming
    Liang, Y.
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2006, 13E : 3726 - 3729
12345