首页> 外文OA文献 >Five classes of invariant-preserving transformations on Colored Petri nets

【2h】

Five classes of invariant-preserving transformations on Colored Petri nets

机译：彩色petri网上的五类不变保持变换

页面导航

著录项
相似文献
相关主题

著录项

作者
To-yat Cheung; Yiqin Lu;
展开▼
作者单位

展开▼
年度 1999
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. AUTOMATING THE CONVERSION OF COLORED PETRI NETS WITH QUALITATIVE TOKENS INTO COLORED PETRI NETS WITH QUANTITATIVE TOKENS [J] . D. K. Hlomozda, M. M. Glybovets, O. M. Maksymets Cybernetics and Systems Analysis . 2018,第4期

机译：将带有定性令牌的彩色Petri网自动转换为带有定性令牌的彩色Petri网
2. An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models [J] . International journal of software innovation . 2020,第1期

机译：BPMN模型向有色Petri网模型的转换和验证的方法
3. A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation [J] . Elhillali Kerkouche, Algeria Allaoua Chaoui, El Bay Bourennane, The Journal of object technology . 2010,第4期

机译：基于图变换的UML和彩色Petri网集成建模与分析方法
4. Transformations of models of 2-dimensional grids Colored Petri nets into infinite Petri nets and vise versa [C] . Tatiana R. Shmeleva International Conference on Information and Telecommunication Technologies and Radio Electronics . 2018

机译：将二维网格有色Petri网模型转换为无穷Petri网，反之亦然
5. PNetTFV: A Colored Petri Net Based Online Firmware Functional Validation Scheme and Implementation [D] . ?Liu, Rongyang 2019

机译：PNetTFV ：有色 Petri网基于网络在线固件功能验证计划和实施
6. A computational approach based on the colored Petri net formalism for studying multiple sclerosis [O] . Simone Pernice, Marzio Pennisi, Greta Romano, 2019

机译：基于有色Petri网形式主义的多发性硬化症研究计算方法
7. A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation. [O] . Elhillali Kerkouche, Algeria Allaoua Chaoui, El Bay Bourennane, 2010

机译：使用曲线图转换的UML和彩色Petri网集合建模和分析方法。
8. Utilizing semantic networks to database and retrieve generalized stochastic colored Petri nets [R] . Farah, Jeffrey J., Kelley, Robert B. 1992

机译：利用语义网络对数据库进行检索，并检索广义随机有色petri网

Five classes of invariant-preserving transformations on Colored Petri nets

著录项

相似文献

相关主题

期刊订阅