Fundamental concepts of analysis in batches Petri nets

This paper presents the structural analysis concepts of batches Petri net, a discrete-continuous model for mixed production system. After some recalls on the batches Petri net class, we provide the fundamental equations that govern the dynamic behavior, define the invariant concepts with the determination of the quantity vector, and finally, analyze the structural properties through an example.