发布文献求助
已入深夜，您辛苦了！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！祝你早点完成任务，早点休息，好梦！
待确认
  • 文献求助详情
标题
Monitoring hybrid process specifications with conflict management: An automata-theoretic approach
相关领域
计算机科学 背景（考古学） 过程（计算） 集合（抽象数据类型） Petri网 任务（项目管理） 自动机 钥匙（锁） 过程采矿 风险分析（工程） 软件工程 人工智能 系统工程 在制品 程序设计语言 医学 业务流程管理 业务流程 计算机安全 古生物学 营销 工程类 业务 生物
网址
https://doi.org/10.1016/j.artmed.2023.102512
AI链接 forskningsportal.dk dtu.dk dtu.dk handle.net uniroma1.it arxiv.org arxiv.org nih.govdoi.org
DOI
10.1016/j.artmed.2023.102512 doi
其它 期刊：Artificial Intelligence in Medicine
作者：Anti Alman; Fabrizio Maria Maggi; Marco Montali; Fabio Patrizi; Andrey Rivkin
出版日期：2023-03-05
求助人
周凡淇 在 2025-11-03 17:51:40 发布自湖南，悬赏 10 积分
下载
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
提交工单
相关文献
  1. Reachability analysis in T-invariant-less petri nets
  2. The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY
  3. Supervision Deadlock Prevention of FMSs Using a Class of Petri Nets -S4PR
  4. A Sufficient Condition for Reachability in a General Petri Net
  5. Continuous Petri nets and hybrid automata: two bisimilar models for the simulation of positive syste...
  6. State feedback control of des on the finite forbidden state problem
  7. Design of Petri net controllers to exclude forbidden states in manufacturing systems
  8. Modelling and control of large-scale systems via hybrid Petri Nets
  9. Acyclic Petri Nets
  10. Petri Net FSM Design
　...点击展开更多...　
求助 / 应助时间线

  • 请等待求助人确认

    已经有人上传了文献，该状态下其他人无法上传，请等待求助人确认该文件是否是他需要的。
    如果求助人在 48 小时内还未确认，系统默认应助成功，本求助将自动关闭。

  • 5小时前

    ccm ccm Lv10 上传了文件

    待审核 1_s2.0_S093336572300026X_main.pdf (1.18 MB)
    温馨提示：本文件中的下载单位、IP等隐私信息已被删除。如有遗漏，请 提交工单 反馈。

  • 5小时前

    科研通AI2.0 科研通AI2.0 机器人 未找到该文献，机器人已退出，请等待人工下载

    17:51:45 未找到该文献，机器人已退出，请等待人工下载
    17:51:41 科研通AI机器人（中国 香港）收到请求，开始寻找文献
    17:51:40 已向机器人发送请求

  • 5小时前

    周凡淇 周凡淇 Lv5 求助人 发起了本次求助

更新
PDF的下载单位、IP信息已删除 (2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
2秒前
浮游的应助被老蔡采纳，获得10
2秒前
爱吃巧克力的草莓完成签到 ，获得积分10
3秒前
4秒前
4秒前
Willy发布了新的文献求助10
6秒前
奋斗金连完成签到，获得积分10
8秒前
chenming发布了新的文献求助10
8秒前
威武千青发布了新的文献求助10
9秒前
TiAmo发布了新的文献求助10
10秒前
留胡子的盼波完成签到，获得积分20
12秒前
Hello的应助被石中酒采纳，获得10
13秒前
量子星尘发布了新的文献求助10
13秒前
15秒前
15秒前
yue完成签到 ，获得积分10
16秒前
完美世界的应助被陈志强采纳，获得10
17秒前
19秒前
21秒前
22秒前
乐乐的应助被three采纳，获得10
22秒前
hope发布了新的文献求助10
23秒前
小冉完成签到 ，获得积分10
24秒前
Evan完成签到 ，获得积分10
25秒前
深情安青的应助被涨涨涨采纳，获得10
26秒前
慕青的应助被芭乐采纳，获得30
27秒前
阔达蓉完成签到，获得积分20
27秒前
orixero的应助被fymshh采纳，获得10
28秒前
当晚星散落完成签到，获得积分10
28秒前
28秒前
浮游的应助被冷酷莫言采纳，获得10
30秒前
30秒前
无花果的应助被swi初采纳，获得10
30秒前
candy关注了科研通微信公众号
31秒前
顾矜的应助被稳重的麦片采纳，获得30
32秒前
34秒前
简为民发布了新的文献求助10
35秒前
阔达蓉发布了新的文献求助10
36秒前
可爱的函函的应助被无解采纳，获得10
37秒前
黄河浪发布了新的文献求助10
37秒前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Handbook of Milkfat Fractionation Technology and Application, by Kerry E. Kaylegian and Robert C. Lindsay, AOCS Press, 1995 1000
A novel angiographic index for predicting the efficacy of drug-coated balloons in small vessels 500
Textbook of Neonatal Resuscitation ® 500
The Affinity Designer Manual - Version 2: A Step-by-Step Beginner's Guide 500
Affinity Designer Essentials: A Complete Guide to Vector Art: Your Ultimate Handbook for High-Quality Vector Graphics 500
Optimisation de cristallisation en solution de deux composés organiques en vue de leur purification 500
热门求助领域 （近24小时）
化学 医学 生物 材料科学 工程类 有机化学 内科学 生物化学 物理 计算机科学 纳米技术 遗传学 基因 复合材料 化学工程 物理化学 病理 催化作用 免疫学 量子力学
热门帖子
关注 科研通微信公众号，转发送积分 5076364
求助须知：如何正确求助？哪些是违规求助？ 4295835
关于积分的说明 13386014
捐赠科研通 4117833
什么是DOI，文献DOI怎么找？ 2255006
邀请新用户注册赠送积分活动 1259534
关于科研通互助平台的介绍 1192394
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通