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-...
Giovanni, R.D. (1992) `Petri nets and software engineering: HOOD nets', LNCS, Vol. 616, pp.134-153.Petri Nets and Software Engineering : HOOD Nets - Giovanni - 1990Denaro, G., Pezze, M.: Petri nets and software engineering. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ...
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 ...
英文名称:Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notation 标准状态:现行 发布日期:2019-08-27 文档简介 ISO/IEC15909-1:2019ENSystemsandsoftwareengineering—High-levelPetrinets—Part1:Concepts,definitionsandgraphicalnotation是一套关于系统和软...
In this work, we survey some recent contributions in the field of Software Performance Engineering. The approach surveyed has as main features that it uses the UML diagrams to specify the functional and performance requeriments of the system and the stochastic Petri nets formalism to analyse it....
Timing analysis of real-time software systems using fuzzy time Petri nets In this paper we present a Petri-net-based approach to consider fault tolerance aspects in a modified control track vehicle system. The proposed approach is based on fuzzy time G-nets which is the integration of two Petr...
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 ...
Oswald, H., Esser, R., Mattmann, R.: An environment for specifying and executing hierarchical petri nets. In: Proceedings of the 12th International Conference on Software Engineering, pp. 164–172 (1990) Google Scholar Duri, S., Buy, U., Devarapalli, R., Shatz, S.: Application and...
RegisterLog in Sign up with one click: Facebook Twitter Google Share on Facebook petri dish (redirected fromPetri dishes) Thesaurus Medical Encyclopedia Related to Petri dishes:agar pe·tri dish (pē′trē) n. A shallow circular dish with a loose-fitting cover, used to culture bacteria or ot...
Technical Issues In Modelling The European Train Control System (etcs) Using Coloured Petri Nets And The Design/cpn Tools At the Institute of Control and Automation Engineering Design/CPN has been used to model the European Control System (ETCS) within a project for the Deutsc... L Jansen,MMZ...