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

A vector matching method for analysing logic Petri nets

โœ Scribed by Du, YuYue; Qi, Liang; Zhou, MengChu

Book ID
121257027
Publisher
Taylor and Francis Group
Year
2011
Tongue
English
Weight
455 KB
Volume
5
Category
Article
ISSN
1751-7575

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A Petri net model for probabilistic logi
A Petri net model for probabilistic logic
โœ 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