The following pages link to Refinement of coloured petri nets (Q5055925):
Displaying 6 items.
- M-nets: a survey (Q1006339) (← links)
- General parameterised refinement and recursion for the M-net calculus (Q1399968) (← links)
- Research on the particular subclass of a class coloured Petri nets (Q2804594) (← links)
- (Q4517042) (← links)
- (Q4535182) (← links)
- Methods for Efficient Unfolding of Colored Petri Nets (Q6070614) (← links)