Colored Petri Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems

Jensen Kurt; Kristensen Lars M.

首页> 外文期刊>Communications of the ACM >Colored Petri Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems

【24h】

Colored Petri Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems

机译：有色Petri网：用于并行系统形式化建模和验证的图形语言

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《Communications of the ACM》 |2015年第6期|61-70|共10页
作者
Jensen Kurt; Kristensen Lars M.;
展开▼
作者单位

Aarhus Univ, Dept Comp Sci, DK-8000 Aarhus C, Denmark;

Bergen Univ Coll, Dept Comp Math & Phys, Bergen, Norway;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
入库时间 2022-08-18 02:07:58

相似文献

外文文献
中文文献
专利

1. Modeling And Simulation Of Net Centric System Of Systems Using Systems Modeling Language And Colored Petri-nets: A Demonstration Using The Global Earth Observation System Of Systems [J] . Madwaraj Rao, Sreeram Ramakrishnan, Cihan Dagli Systems Engineering . 2008,第3期

机译：使用系统建模语言和有色Petri网的系统以网络为中心的系统的建模和仿真：以系统的全球地球观测系统为例的演示
2. Executable System Architecting Using Systems Modeling Language in Conjunction with Colored Petri Nets in a Model-Driven Systems Development Process [J] . Renzhong Wang, Cihan H. Dagli Systems Engineering . 2011,第4期

机译：在模型驱动的系统开发过程中，使用系统建模语言与有色Petri网相结合的可执行系统架构
3. From formal methods to implementation based on Petri Nets model of concurrent systems [J] . Jaroslaw WOJCIECHOWSKI Pomiary Automatyka Kontrola . 2007,第5期

机译：从形式化方法到基于并行系统Petri Nets模型的实现
4. Modeling inheritance anomaly in concurrent systems using colored Petri nets [C] . Bauskar, B., Mikolajczak, . 2004

机译：使用有色Petri网在并发系统中建模继承异常
5. A Systematic Approach to Modeling Re-entrant Manufacturing Systems with Colored Petri Nets. [D] . Nigro, Carmen. 2012

机译：用彩色Petri网建模可重入制造系统的系统方法。
6. Neural Systems Language: A Formal Modeling Language for the Systematic Description Unambiguous Communication and Automated Digital Curation of Neural Connectivity [O] . Ramsay A. Brown, Larry W. Swanson -1

机译：神经系统语言：用于系统描述明确通信和神经连接自动数字化的形式化建模语言
7. Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems [O] . Didier Buchs, Stefan Klikovits, Alban Linard 2020

机译：Petri网：一种正式的语言，可以指定和验证并发非确定性事件系统
8. Colored Stochastic Petri net (Cs-Pn) Software: Application to the Validation and the Performance Evaluation of Distributed Systems [R] . Zenie, A. 1987

机译：彩色随机petri网（Cs-pn）软件：在分布式系统的验证和性能评估中的应用

Colored Petri Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems

著录项

相似文献

相关主题

期刊订阅