SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
Interval semantics for Petri nets with inhibitor arcs
Petri网
语义学(计算机科学)
程序设计语言
计算机科学
随机Petri网
区间(图论)
流程架构(architecture)
操作语义
理论计算机科学
数学
组合数学
作者
Mohammed A. Alqarni,
Ryszard Janicki
出处
期刊:
Theoretical Computer Science
[Elsevier]
日期:2018-04-02
卷期号:727: 1-23
被引量:1
标识
DOI:10.1016/j.tcs.2018.03.003
求助该文献
最长约 10秒,即可获得该文献文件
相关文献
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
2025年影响因子查询已上线
(2025-6-18)
更新
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
wanci
的
应助
被
科研通管家
采纳,获得
10
1秒前
顾矜
的
应助
被
科研通管家
采纳,获得
10
1秒前
VDC
的
应助
被
科研通管家
采纳,获得
30
1秒前
BowieHuang
的
应助
被
科研通管家
采纳,获得
10
1秒前
无极微光
的
应助
被
科研通管家
采纳,获得
20
1秒前
wanci
的
应助
被
科研通管家
采纳,获得
10
2秒前
浮游
的
应助
被
科研通管家
采纳,获得
10
2秒前
浮游
的
应助
被
科研通管家
采纳,获得
10
2秒前
NICAI
的
应助
被
科研通管家
采纳,获得
10
2秒前
VDC
的
应助
被
科研通管家
采纳,获得
30
2秒前
英姑
的
应助
被
科研通管家
采纳,获得
10
2秒前
wanci
的
应助
被
科研通管家
采纳,获得
10
2秒前
善学以致用
的
应助
被
科研通管家
采纳,获得
10
2秒前
BowieHuang
的
应助
被
科研通管家
采纳,获得
10
2秒前
浮游
的
应助
被
科研通管家
采纳,获得
10
2秒前
李爱国
的
应助
被
科研通管家
采纳,获得
10
2秒前
达雨
上传了
应助文件
3秒前
浮游
的
应助
被
科研通管家
采纳,获得
10
3秒前
Akim
的
应助
被
科研通管家
采纳,获得
10
3秒前
VDC
的
应助
被
科研通管家
采纳,获得
30
3秒前
华仔
的
应助
被
科研通管家
采纳,获得
10
3秒前
白夜
发布了新的
文献求助
10
3秒前
VDC
的
应助
被
科研通管家
采纳,获得
30
3秒前
科研通管家
关闭了
阔达的夏波
的
文献求助
3秒前
科研通管家
关闭了
lhm
的
文献求助
3秒前
勤恳雅莉
上传了
应助文件
5秒前
亦亦
完成签到
,获得积分
10
5秒前
思源
上传了
应助文件
7秒前
科研通AI2S
的
应助
被
胡子
采纳,获得
30
7秒前
Doc
完成签到,获得积分
10
8秒前
11
完成签到,获得积分
10
8秒前
科研通AI6
的
应助
被
灵巧伊
采纳,获得
10
9秒前
VDC
上传了
应助文件
10秒前
遇上就这样吧
上传了
应助文件
11秒前
我是谁
完成签到,获得积分
20
13秒前
姬文博
发布了新的
文献求助
10
13秒前
VDC
上传了
应助文件
16秒前
深情安青
上传了
应助文件
17秒前
白夜
完成签到,获得积分
10
17秒前
赘婿
的
应助
被
我是谁
采纳,获得
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
620
The Composition and Relative Chronology of Dynasties 16 and 17 in Egypt
500
Pediatric Nutrition
500
热门求助领域
(近24小时)
化学
材料科学
医学
生物
工程类
有机化学
生物化学
物理
纳米技术
计算机科学
内科学
化学工程
复合材料
物理化学
基因
遗传学
催化作用
冶金
量子力学
光电子学
热门帖子
关注
科研通微信公众号,转发送积分
5554351
求助须知:如何正确求助?哪些是违规求助?
4638931
关于积分的说明
14654584
捐赠科研通
4580716
什么是DOI,文献DOI怎么找?
2512453
邀请新用户注册赠送积分活动
1487226
关于科研通互助平台的介绍
1458129
今日热心研友
浮游
1504
13350
shhoing
664
6380
无极微光
289
5480
Jared
329
1460
NICAI
190
2350
香蕉诗蕊
103
3061
子车茗
103
2820
pluto
182
1960
BowieHuang
141
1890
gexzygg
106
2025
yznfly
2817
Zx_1993
119
1608
arizaki7
186
850
大龙哥886
176
870
桃子
2500
昏睡的蟠桃
2426
带头大哥
75
1510
Mic
2020
xzy998
104
910
eric888
1510
寻道图强
1350
宅多点
134
蓝天
132
HaonanZhang
130
注:热心度 = 本日应助数 + 本日被采纳获取积分÷10