- Record: found
- Abstract: not found
- Book Chapter: not found
Artificial Intelligence in Medicine
Data Decision Diagrams for Petri Net Analysis
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references9
- Record: found
- Abstract: not found
- Article: not found
Graph-Based Algorithms for Boolean Function Manipulation
Bryant (1986)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Shared binary decision diagram with attributed edges for efficient Boolean function manipulation
Shin-ichi Minato, Nagisa Ishiura, Shuzo Yajima (1990)
- Record: found
- Abstract: not found
- Book Chapter: not found
Petri net analysis using boolean manipulation
Enric Pastor, Oriol Roig, Jordi Cortadella … (1994)