๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Modeling Multithreaded Applications Using Petri Nets

โœ Scribed by Krishna M. Kavi; Alireza Moshtaghi; Deng-jyi Chen


Book ID
110391631
Publisher
Springer
Year
2002
Tongue
English
Weight
511 KB
Volume
30
Category
Article
ISSN
1573-7640

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Modelling Opacity Using Petri Nets
โœ Jeremy W. Bryans; Maciej Koutny; Peter Y.A. Ryan ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 265 KB
Modeling with enhanced prioritized Petri
โœ Sheng-Uei Guan; Sok-Seng Lim ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 496 KB

Recently, many researchers have their attention focused on interactive temporal models, like the extended ยฎnite state machines or the extended Petri net models. One of the recent mechanisms proposed for synchronization is known as the prioritized Petri net, P-Net, which is implemented in the distrib