𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A component-based Petri net model for specifying and validating cooperative information systems

✍ Scribed by Nasreddine Aoumeur; Gunter Saake

Book ID
108416033
Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
680 KB
Volume
42
Category
Article
ISSN
0169-023X

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Extended stochastic Petri Net models for
Extended stochastic Petri Net models for systems with parallel and cooperative motions
✍ Yoshio Sugasawa; Qun Jin; Koichiro Seya πŸ“‚ Article πŸ“… 1992 πŸ› Elsevier Science 🌐 English βš– 490 KB

Stochastic Petri Nets have been developed to model and analyze systenm involving concurrent activities with which the time associated is exponentially distributed. In this paper, we present an Extended Stochastic Petri Net that allows the firing times of its transitions to non-exponentlal distributi