发布文献求助
已完结
  • 文献求助详情
标题
Interval semantics for Petri nets with inhibitor arcs
具有抑制弧的Petri网的区间语义
相关领域
Petri网 语义学（计算机科学） 程序设计语言 计算机科学 随机Petri网 区间（图论） 流程架构（architecture） 操作语义 理论计算机科学 数学 组合数学
网址
https://doi.org/10.1016/j.tcs.2018.03.003
DOI
10.1016/j.tcs.2018.03.003 doi
其它 期刊：Theoretical Computer Science
作者：Mohammed A. Alqarni; Ryszard Janicki
出版日期：2018-04-02
求助人
哈哈哈 在 2025-12-30 15:51:24 发布自青海，悬赏 10 积分
下载 求助已完成，仅限求助人下载。
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
提交工单
相关文献
  1. Timed Petri Nets: Theory and Application
  2. State equations of stochastic timed petri nets with informational relations
  3. Petri Nets at Modelling and Control of Discrete-Event Systems Containing Nondeterminism -- Part 1
  4. Time semantics in Time Basic nets
  5. TOMSPIN — a tool for modelling with stochastic petri nets
  6. Diagnosis of computer systems by stochastic Petri nets
  7. Time Interval Semantics and Reachability Analysis of Time Basic Nets
  8. A state equation for Petri nets with delaying places
  9. An application for the control of stochastic petri nets via fluidification approach
  10. From Fluid Stochastic Petri Nets to First-order Hybrid Petri Nets
　...点击展开更多...　
该求助已完结，感谢关注
如需该文献，请重新发布求助，前往发布
科研通，破除各种障碍，优化资源分配，让科研信息充分流通
请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习
更新
PDF的下载单位、IP信息已删除 (2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
蜡笔小新完成签到，获得积分10
刚刚
1秒前
t通发布了新的文献求助10
1秒前
1秒前
jiang完成签到 ，获得积分10
2秒前
2秒前
吱哦周发布了新的文献求助10
2秒前
绅筠玺完成签到，获得积分10
3秒前
1816013153发布了新的文献求助10
3秒前
cheng完成签到 ，获得积分20
3秒前
5秒前
崔崔发布了新的文献求助10
5秒前
量子星尘发布了新的文献求助10
5秒前
ordin发布了新的文献求助10
6秒前
hqq完成签到，获得积分10
6秒前
bksqc发布了新的文献求助10
6秒前
蜡笔小新发布了新的文献求助10
7秒前
背后老太发布了新的文献求助10
7秒前
王欧尼完成签到，获得积分10
8秒前
8秒前
赵云龙发布了新的文献求助10
9秒前
10秒前
浮游的应助被时尚的梦曼采纳，获得10
11秒前
gyf发布了新的文献求助10
11秒前
11秒前
嘿嘿的应助被小可爱采纳，获得30
11秒前
DIUI发布了新的文献求助10
11秒前
lili的应助被cheng采纳，获得30
12秒前
ww发布了新的文献求助10
12秒前
开朗亦绿完成签到，获得积分10
12秒前
科研通AI6的应助被吱哦周采纳，获得10
13秒前
香蕉觅云的应助被陈星珂采纳，获得10
15秒前
15秒前
16秒前
ordin完成签到，获得积分10
16秒前
16秒前
16秒前
Ss完成签到，获得积分10
19秒前
温柔映阳发布了新的文献求助10
21秒前
chen完成签到，获得积分10
21秒前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
List of 1,091 Public Pension Profiles by Region 1601
以液相層析串聯質譜法分析糖漿產品中活性雙羰基化合物 / 吳瑋元[撰] = Analysis of reactive dicarbonyl species in syrup products by LC-MS/MS / Wei-Yuan Wu 1000
Lloyd's Register of Shipping's Approach to the Control of Incidents of Brittle Fracture in Ship Structures 800
Biology of the Reptilia. Volume 21. Morphology I. The Skull and Appendicular Locomotor Apparatus of Lepidosauria 600
The Composition and Relative Chronology of Dynasties 16 and 17 in Egypt 500
Pediatric Nutrition 500
热门求助领域 （近24小时）
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 纳米技术 计算机科学 内科学 化学工程 复合材料 物理化学 基因 遗传学 催化作用 冶金 量子力学 光电子学
热门帖子
关注 科研通微信公众号，转发送积分 5553396
求助须知：如何正确求助？哪些是违规求助？ 4637950
关于积分的说明 14651735
捐赠科研通 4579835
什么是DOI，文献DOI怎么找？ 2511924
邀请新用户注册赠送积分活动 1486817
关于科研通互助平台的介绍 1457745
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：821889395【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通