Compositional verification of concurrent systems using Petri-net-based condensation rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets
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
On assembly sequence planning using Petri nets
ISATP '95 Proceedings of the 1995 IEEE International Symposium on Assembly and Task Planning
General applications 2: simulation system modeling for mass customization manufacturing
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Property-preserving subnet reductions for designing manufacturing systems with shared resources
Theoretical Computer Science
Petri net modeling and deadlock analysis of parallel manufacturing processes with shared-resources
Journal of Systems and Software
Petri nets for protocol engineering
Computer Communications
| Hi-index | 0.00 |