Case study logistics: Flexible modeling of business processes using algebraic higher-order nets

被引：0
|
作者：
Hoffmann, Kathrin [1 ]
机构：
[1] Institute for Software Engineering and Theoretical Computer Science, Technical University Berlin, Germany
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2003年 / 2472卷
关键词：
Algebraic high-level nets - Algebraic higher-order nets - Business Process - Flexible model - Higher order functions - Modeling technique - Net structures;
D O I：
10.1007/978-3-540-40022-6_8
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：145 / 160
相关论文
共 50 条
  • [21] Formalizing Adequacy: A Case Study for Higher-order Abstract Syntax
    James Cheney
    Michael Norrish
    René Vestergaard
    Journal of Automated Reasoning, 2012, 49 : 209 - 239
  • [22] Modeling of the generic memcapacitors using higher-order multi-ports
    Biolek, Zdenek
    Biolkova, Viera
    Biolek, Dalibor
    Kolka, Zdenek
    COMMUNICATIONS IN NONLINEAR SCIENCE AND NUMERICAL SIMULATION, 2022, 113
  • [23] IDENTIFICATION OF HIGHER-ORDER HELICOPTER DYNAMICS USING LINEAR MODELING METHODS
    APONSO, BL
    JOHNSTON, DE
    JOHNSON, WA
    MAGDALENO, RE
    JOURNAL OF THE AMERICAN HELICOPTER SOCIETY, 1994, 39 (03) : 3 - 11
  • [24] USING HIGHER-ORDER LOGIC FOR MODELING REAL-TIME PROTOCOLS
    CARDELLOLIVER, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 494 : 259 - 282
  • [25] Bayesian inference for diffusion processes: using higher-order approximations for transition densities
    Pieschner, Susanne
    Fuchs, Christiane
    ROYAL SOCIETY OPEN SCIENCE, 2020, 7 (10):
  • [26] HIGHER-ORDER INTERPOLATION AND LEAST-SQUARES APPROXIMATION USING IMPLICIT ALGEBRAIC-SURFACES
    BAJAJ, C
    IHM, I
    WARREN, J
    ACM TRANSACTIONS ON GRAPHICS, 1993, 12 (04): : 327 - 347
  • [27] Higher-order mesh generation using CISAMR: A case study on bias in presentation and interpretation of results
    Mohmadsalehi, Mohamad
    Nagarajan, Anand
    Soghrati, Soheil
    COMPUTER METHODS IN APPLIED MECHANICS AND ENGINEERING, 2020, 372
  • [28] TRANSONIC FLOW CALCULATIONS FOR RIGID AND FLEXIBLE WINGS USING A HIGHER-ORDER APPROXIMATION METHOD
    SHEN, KY
    ZHANG, XH
    COMPUTER METHODS IN APPLIED MECHANICS AND ENGINEERING, 1987, 60 (02) : 139 - 151
  • [29] Modeling Higher-Order Term Dependencies in Information Retrieval using Query Hypergraphs
    Bendersky, Michael
    Croft, W. Bruce
    SIGIR 2012: PROCEEDINGS OF THE 35TH INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL, 2012, : 941 - 950
  • [30] Modeling n-Symmetry Vector Fields using Higher-Order Energies
    Brandt, Christopher
    Scandolo, Leonardo
    Eisemann, Elmar
    Hildebrandt, Klaus
    ACM TRANSACTIONS ON GRAPHICS, 2018, 37 (02):
12345