XQPN - colored Petri nets for processing XML data with XQuery language

被引：0
|
作者：
Szwed, Piotr
机构：
来源：
PRZEGLAD ELEKTROTECHNICZNY | 2010年 / 86卷 / 09期
关键词：
Colored Petri Nets; XML; XQuery;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
The paper presents basic concepts of a new class of colored Petri nets XQPN (XQuery Petri Nets) designed for processing XML data. Tokens in XQPN nets correspond to nodes of XML documents that are stored in places. They are processed with XQuery expressions assigned to arcs. We describe the syntax and the behavior of XQPN and discuss algorithms of the net execution, including the binding calculation and updating of the marking.
引用
收藏
页码：221 / 225
页数：5
相关论文
共 50 条
  • [31] Modeling workflow processes with colored Petri nets
    Liu, DS
    Wang, JM
    Chan, SCF
    Sun, JG
    Zhang, L
    [J]. COMPUTERS IN INDUSTRY, 2002, 49 (03) : 267 - 281
  • [32] Switched LAN simulation by colored Petri nets
    Zaitsev, DA
    [J]. MODELLING AND SIMULATION 2003, 2003, : 485 - 488
  • [33] AN EFFICIENT METHOD FOR UNFOLDING COLORED PETRI NETS
    Liu, Fei
    Heiner, Monika
    Yang, Ming
    [J]. 2012 WINTER SIMULATION CONFERENCE (WSC), 2012,
  • [34] MODELING CONCURRENT PROGRAMS WITH COLORED PETRI NETS
    STANSIFER, R
    BEAVEN, M
    MARINESCU, DC
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 26 (02) : 129 - 148
  • [35] Switched LAN simulation by colored Petri nets
    Zaitsev, DA
    [J]. MATHEMATICS AND COMPUTERS IN SIMULATION, 2004, 65 (03) : 245 - 249
  • [36] Methods for Efficient Unfolding of Colored Petri Nets
    Bilgram, Alexander
    Jensen, Peter G.
    Pedersen, Thomas
    Srba, Jiri
    Taankvist, Peter H.
    [J]. FUNDAMENTA INFORMATICAE, 2022, 189 (3-4) : 297 - 320
  • [37] On the computation of stubborn sets of colored Petri nets
    Evangelista, Sami
    Pradat-Peyre, Jean-Francois
    [J]. PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2006, 2006, 4024 : 146 - 165
  • [38] Using colored petri nets for conversation modeling
    Cost, RS
    Chen, Y
    Finin, T
    Labrou, Y
    Peng, Y
    [J]. ISSUES IN AGENT COMMUNICATION, 2000, 1916 : 178 - 192
  • [39] Malware Behavior Modeling with Colored Petri Nets
    Jasiul, Bartosz
    Szpyrka, Marcin
    Sliwa, Joanna
    [J]. COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT, CISIM 2014, 2014, 8838 : 667 - 679
  • [40] VERIFICATION OF ERROR RECOVERY SPECIFICATION FOR DISTRIBUTED DATA BY USING COLORED PETRI NETS
    AKATSU, M
    MURATA, T
    KURIHARA, K
    [J]. IEICE TRANSACTIONS ON COMMUNICATIONS ELECTRONICS INFORMATION AND SYSTEMS, 1991, 74 (10): : 3159 - 3167
12345