On preserving structural and behavioural properties by composing net systems on interfaces

被引：0
|
作者：
DISCo, Università degli Studi di Milano-Bicocca, via Bicocca degli Arcimboldi 8, I-20126, Milano, Italy [1 ]
机构：
来源：
Fundam Inf | 2007年 / 1-3卷 / 31-47期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Methods of characterising the dynamic properties of interfaces in emulsion systems
    Wolf, B
    Windhab, EJ
    CHEMIE INGENIEUR TECHNIK, 1996, 68 (06) : 699 - 701
  • [42] A more efficient time Petri net state space abstraction preserving linear properties
    Boucheneb, Hanifa
    Rakkay, Hind
    SEVENTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2007, : 61 - +
  • [43] Fluid Net Models: From Behavioral Properties to Structural Objects
    Navarro-Gutierrez, Manuel
    Ramirez-Trevino, Antonio
    Silva, Manuel
    APPLIED SCIENCES-BASEL, 2022, 12 (12):
  • [44] Structural properties of parallel program's Petri net model
    Cui, Huanqing
    Wu, Zhehui
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2007, 44 (12): : 2130 - 2135
  • [45] An Improved K-anonymization Approach for Preserving Graph Structural Properties
    Hanafy, A. Mohammed
    Barakat, Sherif
    Rezk, Amira
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2021, 12 (09) : 199 - 207
  • [46] CU-SI(111) INTERFACES - OXIDATION PROPERTIES IN RELATION WITH THEIR STRUCTURAL-PROPERTIES
    DAUGY, E
    MATHIEZ, P
    SALVAN, F
    LAYET, JM
    DERRIEN, J
    SURFACE SCIENCE, 1985, 152 (APR) : 1239 - 1246
  • [47] Confidentiality Preserving Security Properties for Cyber-Physical Systems
    Gamage, Thoshitha T.
    Roth, Thomas P.
    McMillin, Bruce M.
    2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2011, : 28 - 37
  • [48] Generating conditions for preserving the properties of controlled discrete event systems
    N. V. Nagul
    Automation and Remote Control, 2016, 77 : 672 - 686
  • [49] On preserving dissipativity properties of linear complementarity dynamical systems with the θ-method
    Greenhalgh, Scott
    Acary, Vincent
    Brogliato, Bernard
    NUMERISCHE MATHEMATIK, 2013, 125 (04) : 601 - 637
  • [50] Generating conditions for preserving the properties of controlled discrete event systems
    Nagul, N. V.
    AUTOMATION AND REMOTE CONTROL, 2016, 77 (04) : 672 - 686
12345