✦ LIBER ✦

Timed petri nets

Publisher: Elsevier Science
Year: 1985
Tongue: English
Weight: 152 KB
Volume: 10
Category: Article
ISSN: 0169-7552
DOI: 10.1016/0169-7552(85)90073-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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 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

On possibilistic timed safe Petri nets

✍ Sandra Sandri; Janétte Cardoso 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 196 KB 👁 1 views

The first goal of this work is to extend a model of Timed Safe Petri Nets to allow the treatment of preference between transitions. In the proposed Possibilistic Timed Safe Petri Net, we attach a duration to each transition, which can be precise, imprecise, or fuzzy, accounting for the maximal amoun

Symmetries in timed continuous Petri net

Symmetries in timed continuous Petri nets

✍ A. Meyer; M. Dellnitz; M. Hessel-von Molo 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 284 KB

Fuzzy timed Petri nets — analysis and im

Fuzzy timed Petri nets — analysis and implementation

✍ Zouhua Ding; Horst Bunke; Oscar Kipersztok; Mti Schneider; Abraham Kandel 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 460 KB

State feedback control of timed hybrid P

State feedback control of timed hybrid Petri nets

✍ Atsushi Tanaka; Toshimitsu Ushio; Shinzo Kodama 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 652 KB

## Abstract A system in which discrete variables and continuous variables are mixed is called a hybrid system. Many models have been proposed for description of hybrid systems. A mode graphically describing the causality relationship between the variables is the hybrid Petri net (HPN). A mode in wh