Reisig, W.: Petri nets in software engineering. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Petri Nets: Applications and Relationships to Other Models of Concurrency. LNCS, vol. 255, pp. 62–96. Springer, Heidelberg (1987). http://dx..org/10.1007/3-...
Software engineering and Petri net theory are disciplines of different nature. Research on software engineering focuses on a problem domain, i.e., the development of complex software systems, and tries to find a coherent set of solutions to cope with the
The use of Petri nets (P/T-nets, colored Petri nets and extensions) in software engineering, covering modeling, validation, and verification, will be presented as well as their application and tools supporting the disciplines mentioned above. This year we will put an emphasize on the impact of...
ISO/IEC15909-1:2019ENSystemsandsoftwareengineering—High-levelPetrinets—Part1:Concepts,definitionsandgraphicalnotation提供了一套关于Petri网的基本概念、定义和图形符号的标准,适用于系统和软件工程领域,特别是对复杂系统的动态行为建模和分析。
Integrating Software Engineering Methods and Petri Nets for the Speci cation and Prototyping of Complex Information Systems ? We present a Petri net based framework called G-Net for the modular design of complex information systems. The motivation of this framework is to integrat... D Yi,SK Chan...
Y Thierry-Mieg,LM Hillah - 《Innovations in Systems & Software Engineering》 被引量: 53发表: 2008年 Validation of Dynamic Behavior in UML Using Colored Petri Nets This paper describes an approach for modeling the behavioral characteristics of concurrent objectoriented designs using the Petri net fo...
Keywords:Petri net, software process, process model, SPDL 第1 章 绪论 1.1 软件过程与过程建模 软件过程是软件生存周期中所涉及的一系列相关过程。过程是活动的集合,活动是任务的集合,任务是把输入转换为输出的操作[3]。软件过程模型是软件过程的静态描述,是软件过程执行的依据。软件过程是软件过程模型的执行实例...
Deusen, “Petri net based design and analysis of reactive systems,” in Proc. 3rd Workshop on Discrete Event Systems (WoDES'96), pp. 308-313. M. Heiner, P. Deussen, and J. Spranger, “A case study in developing control software on manufacturing systems,” in M. Silva, R. Valette,...
网格体系结构是网格计算的`关键技术之一.针对军事应用需求,提出了一种面向军事应用的网格体系结构,讨论了各层次组成及功能,并研究了网格体系结构的Petri Net描述方法.与经典网格体系结构相比,提出的体系结构有助于提高网格系统的好用性、透明性、自治性、模块性、一致性等. ...
We present a new module concept for Petri nets that is based on the component concepts of Continuous Software Engineering (CSE). According to that concept ... J Padberg - 《Journal of Integrated Design & Process Science》 被引量: 47发表: 2002年 Petri net modules in the transformation-based...