首页> 外文OA文献 >On the use of programming languages for textual specification of Petri Net Models

【2h】

On the use of programming languages for textual specification of Petri Net Models

机译：关于将编程语言用于Petri Net模型的文本规范的使用

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

O presente artigo revê e aprofunda o artigo intitulado Towards a Human-Friendly Textual Language for Petri Nets, apresentado no Workshop on Petri Net Standards 2007.

机译：本文回顾并深化了在2007年Petri网标准研讨会上发表的题为“为Petri网使用人类友好的文字语言”的文章。

著录项

作者
Barros João Paulo; Gomes Luís;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A protocol modeling and verification approach based on a specification language and Petri nets [J] . Suzuki T., Shatz S.M. IEEE Transactions on Software Engineering . 1990,第5期

机译：基于规范语言和Petri网的协议建模与验证方法
2. Modelling of a Sequential Low-level Language Program Using Petri Nets [J] . Ganiyu Rafiu Adesina, Olabiyisi Stephen Olatunde, Omidiora Elijah Olusayo, Innovative Systems Design and Engineering . 2011,第5期

机译：使用Petri网对顺序低级语言程序进行建模
3. Towards an Object-Oriented Programming Language for Physarum Polycephalum Computing: A Petri Net Model Approach [J] . Andrew Schumann, Krzysztof Pancerz Fundamenta Informaticae . 2014,第2a3期

机译：面向面向对象的头顶多头计算的编程语言：Petri网模型方法
4. Automated protocol modeling and verification combining an entity-based specification language and Petri nets [C] . Shatz, S.M., Suzuki, . 1989

机译：自动化的协议建模和验证结合了基于实体的规范语言和Petri网
5. MODELING AND ANALYSIS OF CONCURRENT SYSTEMS USING CONTOUR/TRANSITION-NETS (PETRI NETS, SPECIFICATION, VERIFICATION) [D] . ROSE, MARSHALL TOUFIC. 1984

机译：使用轮廓/过渡网（PETRI网，规范，验证）对并发系统进行建模和分析
6. RevBayes: Bayesian Phylogenetic Inference Using Graphical Models and an Interactive Model-Specification Language [O] . Sebastian Höhna, Michael J. Landis, Tracy A. Heath, -1

机译：RevBayes：使用图形模型和交互式模型规范语言的贝叶斯系统发生推理
7. On the use of programming languages for textual specification of Petri Net Models [O] . Barros João Paulo, Gomes Luís 2007

机译：关于编程语言在petri网模型文本规范中的应用

On the use of programming languages for textual specification of Petri Net Models

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅