Static Analysis of Concurrent Processes for Dynamic Properties Using Petri Nets
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
Formal Properties of Place/Transition Nets
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS
ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
Dependency Analysis-A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems
IEEE Transactions on Parallel and Distributed Systems
Behavior relativity of Petri nets
Journal of Computer Science and Technology
A real time budgeting method for module-level-pipelined bus based system using bus scenarios
Proceedings of the 43rd annual Design Automation Conference
Hi-index | 0.00 |