✦ LIBER ✦

Shrinking of Time Petri nets

✍ Scribed by Lime, Didier; Martinez, Claude; Roux, Olivier H.

Book ID: 125358872
Publisher: Springer
Year: 2013
Tongue: English
Weight: 839 KB
Volume: 23
Category: Article
ISSN: 0924-6703
DOI: 10.1007/s10626-013-0159-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Timed petri nets

📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 152 KB

Petri nets and time modelling

✍ Latif Salum 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 185 KB

Invariants of Timed Petri Nets

✍ D.A. Zaitsev 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 123 KB

Processes of timed Petri nets

✍ Józef Winkowski 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 286 KB

Processes of timed Petri nets are represented by labelled partial orders with some extra features. These features re ect the execution times of processes and allow to combine processes sequentially and in parallel, which leads to some algebras. The processes can be represented either without specify

Real-time specification using Petri nets

✍ K. Sacha 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 595 KB

model checking for time Petri nets

✍ Hanifa Boucheneb; Rachid Hadjidj 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 554 KB