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 条
  • [31] Petri nets and integrality relaxations: A view of continuous petri net models
    Silva, M
    Recalde, L
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2002, 32 (04): : 314 - 327
  • [32] Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools
    Hillah, Lom Messan
    Kordon, Fabrice
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2017, 2017, 10258 : 125 - 135
  • [33] Petri net reactive modules
    Tiplea, Ferucio Laurentiu
    Tiplea, Aurora
    THEORETICAL COMPUTER SCIENCE, 2006, 359 (1-3) : 77 - 100
  • [34] Translation UML Activity Diagram into Colored Petri Net with Inscription
    Maneerat, Nattira
    Vatanawood, Wiwat
    2016 13TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER SCIENCE AND SOFTWARE ENGINEERING (JCSSE), 2016, : 262 - 267
  • [35] A new class of a high-level Petri net for modelling logical OR efficiently: coloured AND/OR Petri nets (CARPN)
    Salum, L
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2000, 38 (18) : 4671 - 4682
  • [36] Simulation and validation of diagram ladder—petri nets
    J. C. Quezada
    J. Medina
    E. Flores
    J. C. Seck Tuoh
    A. E. Solís
    V. Quezada
    The International Journal of Advanced Manufacturing Technology, 2017, 88 : 1393 - 1405
  • [37] Petri Nets as Semantic Domain for Diagram Notations
    Baresi, Luciano
    Pezze, Mauro
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 127 (02) : 29 - 44
  • [38] Model Checking Workflow Net Based on Petri Net
    ZHOU Conghua~1
    2. School of Computer Science and Engineering
    Wuhan University Journal of Natural Sciences, 2006, (05) : 1297 - 1301
  • [39] Modelling with history - Dependent Petri nets
    van Hee, Kees
    Serebrenik, Alexander
    Sidorova, Natalia
    Voorhoeve, Marc
    van der Werf, Jan Martijn
    BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2007, 4714 : 320 - +
  • [40] A modelling approach with coloured Petri nets
    Choppy, Christine
    Petrucci, Laure
    Reggio, Gianna
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2008, 2008, 5026 : 73 - +
12345