IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
A survey of Petri net applications in batch processes
Computers in Industry
A Petri Net Model for Reasoning in the Presence of Inconsistency
IEEE Transactions on Knowledge and Data Engineering
PREPARE: A Tool for Knowledge Base Verification
IEEE Transactions on Knowledge and Data Engineering
A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic
IEEE Transactions on Knowledge and Data Engineering
Managing Autonomous Vehicles at Intersections
IEEE Intelligent Systems
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
IEEE Transactions on Software Engineering
Logical Inference of Horn Clauses in Petri Net Models
IEEE Transactions on Knowledge and Data Engineering
General parameterised refinement and recursion for the M-net calculus
Theoretical Computer Science
Computing communication cost by Petri nets for hardware/software codesign
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
A model for the configurable composition and synchronization of complex trading activities
Proceedings of the 2003 ACM symposium on Applied computing
A threat-driven approach to modeling and verifying secure software
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Hi-index | 0.00 |