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

Analysis of controlled technological systems using high level petri nets

โœ Scribed by M. Gerzson; K.M. Hangos


Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
542 KB
Volume
19
Category
Article
ISSN
0098-1354

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


138 Using Petri Nets for safety analysis
๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 118 KB

The safety of software is becoming increasingly important as computers pervade conu~l systems on which human life depends. Whilst hardware has become significantly more reliable over the years, the same cannot be said of software. This has become more complex and methods to ensure its correctness ha