Using Flat Concurrent Prolog in System Modeling
IEEE Transactions on Software Engineering
A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange
IEEE Transactions on Software Engineering
WSC '94 Proceedings of the 26th conference on Winter simulation
A survey of Petri net applications in batch processes
Computers in Industry
A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic
IEEE Transactions on Knowledge and Data Engineering
Net-Based Computational Models of Knowledge-Processing Systems
IEEE Expert: Intelligent Systems and Their Applications
Logical Inference of Horn Clauses in Petri Net Models
IEEE Transactions on Knowledge and Data Engineering
Hi-index | 0.00 |