Titlebook: Application and Theory of Petri Nets 1992; 13th International C K. Jensen Conference proceedings 1992 Springer-Verlag Berlin Heidelberg 199

高度

https://doi.org/10.1007/3-540-55676-1Coloured Petri Nets; Gefärbte Petrinetze; Management; Net Design; Netzentwurf; Parallelität (EDV); Perform

saturated-fat

传授知识

Reduction mod , and Torsion Points,Several practically important concepts, supporting proper treatment of concurrency, have evolved during the recent years. Many of them have been presented in formal settings different from Petri Nets. In this paper we exemplify some of those concepts and relate them to the state-of-the-art in Petri Nets.

凹槽

Combining Petri Nets and other formal methods,Several practically important concepts, supporting proper treatment of concurrency, have evolved during the recent years. Many of them have been presented in formal settings different from Petri Nets. In this paper we exemplify some of those concepts and relate them to the state-of-the-art in Petri Nets.

Pituitary-Gland

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/a/image/159066.jpg

热心助人

摘要

详细目录

DAFT

https://doi.org/10.1007/978-3-662-07010-9 morphisms represent the refinement of one net by another. The second approach is to define a category whose objects are themselves categories representing the possible computations of the net..We establish a close connection between these two approaches by exhibiting a reflection between a category

Expertise

https://doi.org/10.1007/978-3-662-07010-9schedulability analysis is tackled by assuming that the real-time system is described by concurrent processes. However, high level Petri nets, such as those used in Protob, provide a more conceptual representation than concurrent processes..This paper illustrates the computation of schedules of acti