×

基于通信系统的Petri网技术。Petri网的进展。 (英语) Zbl 1028.00015号

计算机科学课堂讲稿. 2472. 柏林:斯普林格。viii,455页(2003年)。

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。
索引文章:
韦伯,H。;Ehrig,H。;雷西格,W。;Borusan,A。;Lembke,S。;Dehnert,J。;韦伯,M。;Martens,A。;Padberg,J。;埃梅尔,C。;Qemali,A。,DFG Forschergruppe Petri Net技术的Petri Net Baukasten,1-21[Zbl 1283.68257号]
赫伯特·韦伯,Petri Net Baukasten的应用程序开发协助,22-36[Zbl 1283.68258号]
Braatz,B。;Ehrig,H。;乌尔巴舍克,M。,Petri网Baukasten中的Petri网变换,37-65[Zbl 1283.68234号]
朱利安·德内特,建立健全业务流程模型的四个步骤,66-82[Zbl 1283.90019号]
克劳迪娅·埃梅尔(Claudia Ermel);Roswitha Bardohl;哈特穆特·埃里格,GenGED中Petri网动画视图的生成,83-108[Zbl 1283.68241号]
迈克尔·韦伯(Michael Weber);Ekkart Kindler公司《Petri网内核》,109-123[Zbl 1283.68259号]
迈克尔·韦伯;Ekkart Kindler公司,Petri网标记语言,124-144[Zbl 1283.68260号]
凯瑟琳·霍夫曼,案例研究物流:使用代数高阶网对业务流程进行灵活建模,145-160[Zbl 1283.90023号]
Padberg,J。;乌尔巴舍克,M。,《基于规则的Petri网精化:一项调查》,161-196[兹比尔1283.68251]
奥拉夫·克鲁格,用消息序列图和Petri网建模铁路道口,197-218[Zbl 1283.68249号]
克尔斯滕·伦茨(Kirsten Lenz);安德烈亚斯·奥伯韦斯,使用XML网络进行组织间业务流程管理,243-263[兹比尔1283.90024]
保罗·格雷芬(Paul Grefen);萨缪尔·安吉洛夫,《动态服务外包的三级过程规范:从Petri网到ebXML和WFPDL》,264-280[Zbl 1283.90021号]
瑞科·赫克尔,Open Petri网作为工作流集成的语义模型,281-294[Zbl 1283.90022号]
克莱恩,杰蒂,CSCW团队自动机–调查,295-320[Zbl 1283.68247号]
埃舒伊斯(Eshuis),里克(Rik);罗埃尔·维林加《比较Petri网和活动图变体以进行工作流建模——对反应Petri网的探索》,321-351[Zbl 1283.90020号]
范德阿尔斯特,W.M.P。《业务流程的继承:访问四个臭名昭著问题的旅程》,383-408[Zbl 1283.90025号]
弗朗西斯科·帕里西·普雷西奇,Petri网类转换的形式化框架,409-430[Zbl 1283.68252号]
西比尔·普克,用于验证分布式算法的基于并发的转换细化,430-454[兹比尔1283.68212]

MSC公司:

00B15号机组 杂项特定利益物品的收集
68-06 与计算机科学有关的会议记录、会议、收藏等
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接