SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
Interval semantics for Petri nets with inhibitor arcs
Petri网
语义学(计算机科学)
程序设计语言
计算机科学
随机Petri网
区间(图论)
流程架构(architecture)
操作语义
理论计算机科学
数学
组合数学
作者
Mohammed A. Alqarni,
Ryszard Janicki
出处
期刊:
Theoretical Computer Science
[Elsevier BV]
日期:2018-04-02
卷期号:727: 1-23
被引量:1
标识
DOI:10.1016/j.tcs.2018.03.003
求助该文献
最长约 10秒,即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起,本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
⚡
2026年影响因子、分区
已更新!
(2026-6-17)
更新
📰 新增『新锐期刊分区』
(2026-3-24)
更新
💬 新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒 每天60秒读懂世界·精选全球要闻
(2026-1-2)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
Autumn
完成签到,获得积分
10
1秒前
woshiwuziq
发布了新的
文献求助
20
1秒前
ale
的
应助
被
gjww
采纳,获得
10
1秒前
科研通AI6.4
上传了
应助文件
1秒前
李健
上传了
应助文件
2秒前
buzxdz
完成签到,获得积分
10
2秒前
吃了就会胖
完成签到
,获得积分
10
2秒前
李健的小迷弟
的
应助
被
做实验的猹
采纳,获得
10
2秒前
研友_VZG7GZ
的
应助
被
霜序
采纳,获得
10
2秒前
小二郎
上传了
应助文件
3秒前
柔弱烨磊
驳回了
搜集达人
的
应助
3秒前
JamesPei
上传了
应助文件
3秒前
桐桐
上传了
应助文件
4秒前
orixero
的
应助
被
小补丁
采纳,获得
10
4秒前
buzxdz
发布了新的
文献求助
10
5秒前
shaung yang
完成签到,获得积分
10
5秒前
科研通AI6.2
上传了
应助文件
6秒前
李嘉琛
完成签到,获得积分
10
6秒前
大模型
上传了
应助文件
6秒前
C瓜菌
发布了新的
文献求助
10
6秒前
777
发布了新的
文献求助
10
7秒前
Jasper
上传了
应助文件
7秒前
安详爆米花
完成签到
,获得积分
10
7秒前
ZK999
完成签到,获得积分
10
8秒前
wewe11
完成签到,获得积分
20
8秒前
洛故故
发布了新的
文献求助
10
8秒前
冷艳书瑶
发布了新的
文献求助
10
8秒前
Miki
完成签到,获得积分
10
8秒前
ale
的
应助
被
静水流深
采纳,获得
10
8秒前
今后
的
应助
被
wty
采纳,获得
10
9秒前
藤井树
发布了新的
文献求助
10
9秒前
852
上传了
应助文件
9秒前
酷波er
的
应助
被
1412
采纳,获得
10
10秒前
Akim
上传了
应助文件
10秒前
song33
发布了新的
文献求助
10
10秒前
传奇3
上传了
应助文件
11秒前
孙朱珠
发布了新的
文献求助
10
11秒前
如意小丸子
发布了新的
文献求助
10
11秒前
ding
上传了
应助文件
11秒前
Eva
发布了新的
文献求助
50
12秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】
10000
Nondestructive Testing Handbook: Vol. 4, Thermal and Infrared Testing (IR), 4th ed
800
作者名:Kristopher P. Plain,悉尼大学的,目前只能查到其四篇论文,想找到其博士论文
590
Évora na Idade Média
555
Soil mites of the family Rhagidiidae (Actinedida: Eupodoidea). Morphology, Systematics, Ecology
520
Matrix Methods in Data Mining and Pattern Recognition Second Edition
510
Radical Reactions
500
热门求助领域
(近24小时)
化学
材料科学
医学
生物
纳米技术
工程类
有机化学
化学工程
生物化学
计算机科学
内科学
物理
复合材料
催化作用
细胞生物学
无机化学
光电子学
物理化学
电极
基因
热门帖子
关注
科研通微信公众号,转发送积分
7356699
求助须知:如何正确求助?哪些是违规求助?
8967448
关于积分的说明
19054150
捐赠科研通
7004371
什么是DOI,文献DOI怎么找?
3222316
关于科研通互助平台的介绍
2386476
邀请新用户注册赠送积分活动
2202898
今日热心研友
Kao
492
2840
大力的冬萱
71
1220
cdercder
64
940
潇洒的惋清
81
640
liuzhuohao
62
680
arniu2008
48
820
Avalonx
78
500
科研狗
22
800
sagitar
32
700
科研啦
67
340
卡乐瑞咩吹可
58
370
ale
53
410
Oracle
880
lx
46
410
Criminology34
31
530
新光三越
43
400
OK
790
昏睡的蟠桃
770
风清扬
33
410
行走的荷尔蒙
22
490
注:热心度 = 本日应助数 + 本日被采纳获取积分÷10