𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Modelling and verification of real-time software using interpreted petri nets

✍ Scribed by F. Arendt; B. Klühe

Publisher
Elsevier Science
Year
1990
Weight
695 KB
Volume
15
Category
Article
ISSN
0066-4138

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantic verification and satisfiability
Semantic verification and satisfiability verification of MSC specifications by means of Petri nets in telecommunication software testing
✍ Naomoto Kato; Yoshiaki Shigeta; Wataru Tanaka; Haruo Hasegawa 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 230 KB 👁 1 views

This paper discusses the testing of communication system software, focusing on the semantic verification of specifications. Specifications are defined using message sequence charts (MSC) recommended by the ITU-T. Assuming an MSC-based scenario for which operational system specifications are defined,

Approximate real-time decision making: C
Approximate real-time decision making: Concepts and rough fuzzy Petri net models
✍ James F. Peters; Andrzej Skowron; Zbigniew Suraj; Witold Pedrycz; Sheela Ramanna 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 440 KB 👁 2 views

This paper considers the construction of Petri nets to simulate the computation performed by decision systems. Algorithms are given to construct Petri nets which correspond to decision rules, information systems, and real-time decision systems. Rough as well as rough fuzzy Petri net extensions of co

An approach towards the verification of
An approach towards the verification of expert systems using numerical petri nets
✍ N. K. Liu; T. Dillon 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 936 KB

A major difficulty that occurs in the construction of large production rule-based expert systems is maintaining the correctness, consistency, and completeness of the knowledge base. A method of transforming the production rules into a numerical petri nets (NPNs) model is proposed. These NPNs are hig