Petri-net evaluation using APL2
APL '92 Proceedings of the international conference on APL
Synchronization models for multimedia presentation with user participation
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
A LOTOS extension for the performance analysis of distributed systems
IEEE/ACM Transactions on Networking (TON)
On generation of state space for timed Petri nets
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Modified M-timed Petri nets in modelling and performance evaluation of systems
CSC '87 Proceedings of the 15th annual conference on Computer Science
Timed State Space Analysis of Real-Time Preemptive Systems
IEEE Transactions on Software Engineering
Formalization of petri nets with clocks
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
GA optimization of Petri net-modeled concurrent service systems
Applied Soft Computing
A brief survey and synthesis of the roles of time in petri nets
Mathematical and Computer Modelling: An International Journal
| Hi-index | 0.00 |