✦ LIBER ✦

Concurrent system analysis using Petri nets: an optimized algorithm for finding net invariants

✍ Scribed by Mario D'Anna; Sebastiano Trigila

Publisher: Elsevier Science
Year: 1988
Tongue: English
Weight: 503 KB
Volume: 11
Category: Article
ISSN: 0140-3664
DOI: 10.1016/0140-3664(88)90085-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Representation and analysis of behavior

Representation and analysis of behavior for multiprocess systems by using stochastic Petri nets

✍ Q. Jin; Y. Sugasawa 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 771 KB

Timed Petri net: An expeditious tool for

Timed Petri net: An expeditious tool for modelling and analysis of manufacturing systems

✍ G.B. Reddy; S.S.N. Murty; K. Ghosh 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 1010 KB

138 Using Petri Nets for safety analysis

138 Using Petri Nets for safety analysis of an unmanned Metro system M. El Koursi, P. Ozello, pp 135–139

📂 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