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

Petri nets in logic

โœ Scribed by Andrea Domenici


Publisher
Elsevier Science
Year
1990
Weight
422 KB
Volume
30
Category
Article
ISSN
0165-6074

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A Petri net model for probabilistic logi
โœ Chuang Lin; Y. T. Wu ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 815 KB

In this article we investigate the use of Petri nets for the representation of possible worlds in probabilistic logic. We propose a method to generate possible worlds based upon the reachability tree of the Petri net model. The number of columns in the matrix of possible worlds grows exponentially w

Petri nets
โœ Y. Narahari ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Indian Academy of Sciences ๐ŸŒ English โš– 840 KB
Normal Petri nets
โœ Hideki Yamasaki ๐Ÿ“‚ Article ๐Ÿ“… 1984 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 918 KB
Timed petri nets
๐Ÿ“‚ Article ๐Ÿ“… 1985 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 152 KB