exostosis
发表于 2025-3-26 22:02:41
http://reply.papertrans.cn/67/6628/662731/662731_31.png
collateral
发表于 2025-3-27 01:19:47
978-3-540-10001-0Springer-Verlag Berlin Heidelberg 1980
性别
发表于 2025-3-27 06:23:06
Net Theory and Applications978-3-540-39322-1Series ISSN 0302-9743 Series E-ISSN 1611-3349
AMEND
发表于 2025-3-27 13:25:21
http://reply.papertrans.cn/67/6628/662731/662731_34.png
指数
发表于 2025-3-27 13:50:05
Formal properties of place/transition nets,g graphs, provide insight into the computational complexity of several decision procedures, show the initimate relation of reachability sets to Presburger formulas, and deal with state-machine composition and the deadlock-trap property.
Coronation
发表于 2025-3-27 20:47:55
Abstractions of net models,ing, and analyzing large systems. This paper presents a mechanizable approach to such abstraction, for a limited class of net models. The work is based on Pro-Nets, an application-oriented outgrowth of place/transition nets.
复习
发表于 2025-3-27 23:38:27
Applications of net-based models,en adopted for specific applications. The topics include models of a parallel algorithm for lexical analysis, net augmentation to detect and correct errors, an approach to error correction in distributed systems with no central control, and modeling aids to design of properly functioning systems.
chastise
发表于 2025-3-28 02:32:41
,Petri-nets from the engineer’s viewpoint lecture I,e-concept of the Automata-Theory. Some special symbols are suggested. Side-conditions and side effects are well appropriate for the simulation of hardware systems, for instance for the problems of Switching Algebra..In lecture II some applications for kinematical processes and for the control of a lift-car are explained.
ligature
发表于 2025-3-28 06:49:30
http://reply.papertrans.cn/67/6628/662731/662731_39.png
Obvious
发表于 2025-3-28 12:47:29
E. Best appropriate for use in a special topics course or for independent study. Readers interested in pursuing an extended background study of relation algebras will find a comprehensive treatment in author Steven Givant’s textbook, .Introduction to Relation Algebras. (Springer, 2017)..978-3-319-88468-4978-3-319-67696-8