✦ LIBER ✦

Program verification for microprocessors through Petri net modeling

✍ Scribed by G.S. Hura; J.W. Atwood

Book ID: 108362153
Publisher: Elsevier Science
Year: 1985
Tongue: English
Weight: 385 KB
Volume: 25
Category: Article
ISSN: 0026-2714
DOI: 10.1016/s0026-2714(85)80029-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Fuzzy Petri Net Tool For Modeling and

A Fuzzy Petri Net Tool For Modeling and Verification of Knowledge-Based Systems

✍ Koriem, S. M. 📂 Article 📅 2000 🏛 Oxford University Press 🌐 English ⚖ 337 KB

Petri nets with causal time for system v

Petri nets with causal time for system verification

✍ C. Bui Thanh; H. Klaudel; F. Pommereau 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 209 KB

We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progression of time is modelled in the system by the occurrence of a distinguished event, tick, which serves as a reference to

Enzymatic competition: Modeling and veri

Enzymatic competition: Modeling and verification with timed hybrid petri nets

✍ Sylvie Troncale; Jean-Paul Comet; Gilles Bernot 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 338 KB

Knowledge verification with an enhanced

Knowledge verification with an enhanced high-level Petri-Net model

✍ Chih-Hung Wu; Shie-Jue Lee 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 128 KB

Functorial Models for Petri Nets

✍ Roberto Bruni; José Meseguer; Ugo Montanari; Vladimiro Sassone 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 251 KB

Verification of Concurrent Assembly Prog

Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy

✍ Shengyuan Wang; Yingyi Liang; Yuan Dong 📂 Article 📅 2007 🏛 Bioline International 🌐 English ⚖ 122 KB