W. Reisig, “Petri nets in software engineering,” in Petri Nets: Applications and Relationships to Other Models of Concurrency , W. Brauer, W. Reisig, and G. Rozenberg, Eds. Berlin: Springer-Verlag, 1987, PP. 63–96.W. Reisig.Petri nets in software engineering.Advances in Petri nets ...
R.Di Giovanni.Petri nets and software engineering:HOOD nets. . 1991G. Denaro and M. Pezz, "Petri nets and software engineering," in Lectures on Concurrency and Petri Nets, ser. Lecture Notes in Computer Science, J. Desel, W. Reisig, and G. Rozenberg, Eds. Springer Berlin / Heidelberg...
This year we will put an emphasize on the impact of software engineering in general and its model based development on Petri nets by their concepts, methods, techniques and tools. Therefore we especially invite contributions that work on subjects that could(!) be relevant for Petri nets, their ...
Petri netsprogram testingprogram verificationprotocolsreachability analysisspecification languages/ Petri netsprotocol engineeringspecificationsoftware verificationThis paper presents a review of the role Petri nets play in protocol engineering. This methodology provides various models for specification and many ...
Key words:indirect dependency; logic Petri nets; loop structure; process model; repair method 参考文献: [1]AALST W.Process mining:Data science in action[M].Berlin:Springer,2016:2-53. [2]LEEMANS S,FAHLAND D,AALST W.Discovering ...
Petri Nets: Properties, Analysis and Applications 来自 IEEEXplore 喜欢 0 阅读量: 166 作者: T Murata 摘要: Starts with a brief review of the history and the application areas considered in the literature. The author then proceeds with introductory modeling examples, behavioral and structural ...
Petri nets have been successfully used for modeling, analysis, simulation, scheduling and control of manufacturing systems. Petri nets, used as a mathematical and graphical tool, provide a powerful environment in which all the complicated mathematical relations between operations can be seen graphically....
Activity Diagrams, EPCs, flowcharts, Petri Nets and Decision Models and assess which of them are more appropriate for using or integrating with the TFM... E Asnina,V Ovchinnikova - International Conference on Evaluation of Novel Approaches to Software Engineering 被引量: 5发表: 0年 A GMSK Co...
展开 关键词: Petri nets program testing systems analysis MTCS approach Petri net cyclomatic complexity measure decision nodes design requirements minimal transition cover set software design DOI: 10.1109/ICSMC.2000.884472 被引量: 19 年份: 2000 收藏 引用 批量引用 报错 分享 全部...
I Hatono,K Yamagata,H Tamura - 《IEEE Transactions on Software Engineering》 被引量: 92发表: 1991年 Dynamic scheduling in flexible assembly system based on timed Petri nets model Dynamic scheduling in flexible assembly system based on timed Petri nets model. Robotics and Computer-Integrated Manufac...