ACM Transactions on Computer Systems (TOCS)
Discrete Time Stochastic Petri Nets
IEEE Transactions on Software Engineering
ACM Computing Surveys (CSUR)
Fast Bounds for Stochastic Petri Nets
International Workshop on Timed Petri Nets
A Generalized Timed Petri Net Model for Performance Analysis
International Workshop on Timed Petri Nets
Regenerative Simulation of Stochastic Petri Nets
International Workshop on Timed Petri Nets
Extended Stochastic Petri Nets: Applications and Analysis
Performance '84 Proceedings of the Tenth International Symposium on Computer Performance Modelling, Measurement and Evaluation
Timed Petri nets and preliminary performance evaluation
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
IEEE Transactions on Software Engineering
Adding browsing semantics to the hypertext model
DOCPROCS '88 Proceedings of the ACM conference on Document processing systems
Petri-net-based hypertext: document structure with browsing semantics
ACM Transactions on Information Systems (TOIS)
Unidraw: a framework for building domain-specific
UIST '89 Proceedings of the 2nd annual ACM SIGGRAPH symposium on User interface software and technology
Programmable browsing semantics in Trellis
HYPERTEXT '89 Proceedings of the second annual ACM conference on Hypertext
Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets
IEEE Transactions on Computers
Unidraw: a framework for building domain-specific graphical editors
ACM Transactions on Information Systems (TOIS)
| Hi-index | 0.00 |