๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Requirements specification and analysis of digital systems using fuzzy and marked Petri nets

โœ Scribed by Shen, V.R.L.; Feipei Lai

Book ID
117874443
Publisher
IEEE
Year
1998
Tongue
English
Weight
142 KB
Volume
28
Category
Article
ISSN
1083-4419

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Specification and performance analysis o
Specification and performance analysis of embedded systems with coloured petri nets
โœ L.P.M. Benders ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 765 KB

To analyze synchronization, concurrency, communication protocols and system performance, a system level specification is modelled in a coloured Petri net. A toolbox collects information for the implementation, e.g., processing times, waiting times, idle times, data accesses, processing requests. Thi

Using Petri-nets for data processing sys
Using Petri-nets for data processing systems analysis and synthesis
โœ V.V. Kulba; A.R. Shvetsov ๐Ÿ“‚ Article ๐Ÿ“… 1991 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 550 KB

Kulba, V.V. and A.R. Shvetsov, Using Petri-nets for data processing systems analysis and synthesis, Mathematics and Computers in Simulation 33 (1991) 317-321. The article deals with some problems connected with analysis and synthesis of Data Processing Systems under time criteria. Modelling of a DPS