✦ LIBER ✦

Real-time specification using Petri nets

✍ Scribed by K. Sacha

Book ID: 104179415
Publisher: Elsevier Science
Year: 1993
Weight: 595 KB
Volume: 38
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(93)90201-u

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The specification and design of hard rea

The specification and design of hard real-time systems using timed and temporal petri nets

✍ J.S. Sagoo; D.J. Holding 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 556 KB

Reachability analysis of real-time syste

Reachability analysis of real-time systems using time Petri nets

✍ Wang, J.; Deng, Y.; Xu, G. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 285 KB

Real-Time Systems || Timed Petri Nets

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 171 KB 👁 2 views

## TIMED PETRI NETS Petri nets were developed as an operational formalism for specifying untimed concurrent systems. They can show concurrent activities by depicting control and data flows in different parts of the modeled system. As an operational formalism, a Petri net gives a dynamic representa

Compositional schedulability analysis of

Compositional schedulability analysis of real-time systems using time Petri nets

✍ Dianxiang Xu; Xudong He; Yi Deng 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 452 KB

Reduction methods for real-time systems

Reduction methods for real-time systems using Delay Time Petri Nets

✍ Juan, E.Y.T.; Tsai, J.J.P.; Murata, T.; Yi Zhou 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 646 KB

Stubborn Sets for Real-Time Petri Nets

✍ Robert H. Sloan; Ugo Buy 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 146 KB