A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs
IEEE Transactions on Software Engineering
Five Classes of Invariant-Preserving Transformations on Colored Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Performance Results for an Implementation of the Process Coordination Language K2
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
Using Petri net invariants in state space construction
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Performance modeling and analysis of message-oriented event-driven systems
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |